Assertion: timed automaton | /r/CapableOf | recognize this language
Facets:
Source sentences:
text: The timed automaton recognizing this language, pictured nearby, use a single clock x {\displaystyle x} , which should never be equal to one.
text: The timed automaton recognizing this language, pictured nearby, recalls whether there was a a {\displaystyle a} which was not followed by a b {\displaystyle b} or not.