tech,14-4-P86-1038,bq | graphs </term> for a special type of <term> | deterministic finite automaton | </term> . This <term> semantics </term> for <term> | #14713 These graphs are, in fact, transition graphs for a special type of deterministic finite automaton . |