Bchi automata

Name: Bchi automata
Uploaded: Aug 3, 2015
Duration: 1073 s
Description: An automaton model for characterizing languages over infinite words