kleene

There are 6 repositories under kleene topic.

  • asarandi/dr_quine

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

    Language:Assembly2000

  • subttle/kleene

    Kleene Algebra (Kozen axioms)

    Language:Agda2120

  • alexandrustoica/gramite

    A regular grammar and finite automaton evaluator

    Language:Kotlin1200

  • liorwunsch/Regex-to-DFA-and-NFA

    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.

    Language:Java10

  • Risto-Stevcev/purescript-kleene-logic

    Kleene Logic in purescript

    Language:PureScript30

  • ychavoya/cerradura-kleene

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

    Language:C#10