Select Git revision
AndroidKernel.mk
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) })