Skip to content

document all automata properties in concept.org