Lectures 16โ20: Nondeterministic FA (NFA)
Q1. NFA Concept
- Current state + input โ may have multiple next states.
- Transition function targets subsets of states.
Q2. Why NFA?
- Easier to design; can later convert to FA.
Q3. NFA for Closure of FA
- Add new start/final state for ฮ; connect transitions carefully.
Q4. Union, Concatenation, Closure of FA
- Union: strings in FA1 or FA2
- Concatenation: first part FA1, second part FA2
- Closure (*): strings of FA1 including ฮ
Lectures 21โ25: Sequential Circuits and Machines
Q1. Moore & Mealy Machines
- Used in computing operations (increment, 1โs complement).
Q2. Sequential Circuit
- Memory component (flip-flop); state depends on input & past state.
- Output = function of current state & input.
Q3โ4. Pumping Lemma I & II
- Both identify non-regular languages.
- PLII stricter โ easier for symmetrical languages like palindromes.
Lectures 31โ35: CFGs and Languages
Q1. Word vs Semiword
- Word: only terminals, e.g., abba
- Semiword: terminals + exactly one nonterminal at end, e.g., aaaaaB
Derivation Tree vs Total Tree
- Derivation: specific word
- Total: all words in the language
Language Closure
- Closed under an operation if result stays in same language
Productions
- Rules to convert nonterminals โ terminals
FA Operations
- Concatenation: string1 from FA1 + string2 from FA2
- Intersection: strings accepted by both FAโs
- Union / Addition: same effect
Lectures 36โ40: CFGs, Null/Nullable, PDA
Nullable vs Null Production
- Null production: Nonterminal โ ฮ
- Nullable production: Derivation can eventually produce ฮ
- Method: delete null productions, add new derived productions
CFG for Infix/Postfix Expressions
- Possible using derivation trees
Push Down Automata (PDA)
- FA + memory (stack) โ recognizes more complex languages
Push Down Stack vs Store
- No difference; both describe memory