Testing Language Containment for ω-Automata Using BDDs

• 1 April 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 118  (1) , 101-109
• https://doi.org/10.1006/inco.1995.1055

Abstract

Keywords

• TESTING LANGUAGE CONTAINMENT
• LIMITING FACTOR
• COMPUTATIONAL COMPLEXITY
• REGULAR LANGUAGE
• BINARY DECISION DIAGRAM
• SYSTEM MODELING
• SATISFIABILITY
• DATA STRUCTURE