(Q291256)

English

ω-automaton

variation of finite automata that runs on infinite, rather than finite, strings as input

  • stream automaton
  • ω-automata

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit