kleene

Kleene Algebra (Kozen axioms)

This small algo project allows you to tackle the problems of self-replication, and confronts you with the recursion theorem of Kleene!

A regular grammar and finite automaton evaluator

Kleene Logic in purescript

This project is about discovering the recursion theorem of Kleene! The challenge is to write a program whose output is its own source code.

Programa que calcula el Nivel de Cerradura de Kleene de un lenguaje dado

Transforms DFA to regex and regex to DFA and NFA. (Finite State Machines) Demonstrate is done using the Kleene theorem. In addition, a comparison is made between the string sizes of the regular expressions obtained from converting DFA with a reduction.

A standard library for claims that might be wrong: three-valued verdicts where 'not enough to say' is a first-class answer, not a collapsed False.