Skip to content
Snippets Groups Projects
Select Git revision
  • wta-generator
  • master default protected
  • debug-partition-size
  • fixes
  • bench-hex
  • ci-artifacts
  • new-monoids
  • stack
  • sumbag
  • tutorial
  • web
  • features/disable-sanity
  • ghc-8.4.4
  • linux-bin-artifacts
  • syntax-doc
  • ci-stack
  • rationals
  • double-round
  • init-time
  • group-weight
20 results

boolean-lists-automaton

Blame
  • user avatar
    Hans-Peter Deifel authored
    4543c0af
    History
    boolean-lists-automaton 344 B
    # A tree automaton that accepts boolean lists
    #
    # This example is an adaption of an example from
    # https://en.wikipedia.org/wiki/Tree_automaton#Examples, retrieved on 2019-03-14
    
    {final, nonfinal} × Ƥ(({false, true, nil} + {cons}×X×X))
    
    Bool:  (nonfinal, { inj0 false, inj0 true })
    BList: (final,    { inj0 nil, inj1 (cons, Bool, BList) })