Description:
- Study of abstract machines and automata
Symbol:
- Elements such as
Alpha/Vocabulary:
- Collection obetf symbols,
String:
- Sequence of symbols,
- Empty string is deonted by or ( different from empty set )
Language:
- Set of strings, ${0,1, 00,01,10,11}
- Not natural language or programming language