Commit 4543c0af authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢

Add one more example for tree automata

parent 2d81f6a4
# 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) })
Block 0: BList
Block 1: Bool
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment