Testing Language Containment for omega-Automata Using BDD's

Hervé J. Touati Robert K. Brayton Robert P. Kurshan

Published in: Inf. Comput. (1995)

Keyphrases

formal language theory
formal languages
programming language
language learning
finite automata
regular languages
natural language
cellular automata
probabilistic automata
database
specification language
finite state machines
automata theoretic
turing machine
modeling language
boolean functions
neural network