Skip to content
No description, website, or topics provided.
Python Haskell
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
LICENSE
README.md
bauer.hs
bauer.py
kleene.py
plotbauertree.py
plotsimplified.py
plottree.py

README.md

kleene

Generate a Kleene tree.

Files

  • kleene.py: Enumerates the branches which should be cut from the complete binary tree in order to be left with a Kleene tree.
  • plotcuts.py: Generates a (progressive) plot of the cuts.
  • plottree.py: Generates a (progressive) plot of the Kleene tree.

Requirements

Plotting uses matplotlib, (which depends on tkinter).

Install using

pip3 install matplotlib --user

or

python3 -m pip install matplotlib --user

Results

Screenshot

You can’t perform that action at this time.