Across
- 1. LEMMA The process of proving a language is not regular
- 3. Machine where output depends only on current state
- 6. The set of all strings over an alphabet
- 8. A deterministic model that accepts or rejects strings
- 9. PROPERTIES Property stating that regular languages are closed under union, concatenation, etc.
- 10. Symbol that represents “no symbol” or empty transition
Down
- 2. The process of reducing a DFA to the smallest number of states.
- 4. EXPRESSION The algebraic notation to describe regular languages
- 5. The machine type where output is associated with transitions
- 7. STAR Operation that repeats a language zero or more times
