AL102 Flashcards
is a branch of theoretical computer science that deals with abstract machines
Formal Languages and Automata Theory
is a set of strings of symbols constrained by specific rules.
Formal Languages
it involves studying abstract machines or computational models that recognize patterns
Automata Theory
Used to recognize context- free languages and equipped with a stack.
Pushdown Automata (PDA)
Used to recognize regular languages.
Finite Automata (FA)
These are the most powerful class of automata,
Turing Machines
The search engine breaks down your query into tokens
Tokenization
to efficiently find occurrences of a query string within large texts.
Boyer-Moore algorithm
can be represented by regular expressions
Regular Languages
sometimes use more complex language processing techniques
Language Processing
recognized by pushdown automata.
Context-Free Languages
the most powerful and can simulate any computational process.
Recursive Enumerable Languages
is a finite sequence of symbols chosen from an alphabet.
Strings
Automata are used in verifying whether systems like operating systems
System Verification
Computer scientists can optimize algorithms and develop efficient software.
Computational Efficiency