λΣ∀∃

#formal methods #logic in computer science #theoretical computer science #computability theory #lambda calculus #sipser book

⚙️📼➡️🏁

#turing machine #automata theory #theory of computation #computability #formal languages #sipser book

⚙️➡️🥞➡️📼

#automata hierarchy #finite automata #pushdown automata #turing machine #chomsky hierarchy #sipser book #formal languages

🅿️=❓NP

#P vs NP #complexity theory #computational complexity #millennium prize problems #sipser book #theoretical computer science