FlashKeepers

Computer Science · College · College and University

Theory of Computation Basics

Finite automata, regular languages, and Turing machine concepts from an intro theory of computation course.

About this set

35 basic cards for College Computer Science. It opens with "What is a deterministic finite automaton (DFA)?" and "What is a nondeterministic finite automaton (NFA)?". Study it alongside the other College sets below.

35 cards · basic cards · AI-written, checked twice. Edit anything.

Study this set free Look inside first Get FlashKeepers for iPhone

Opens in your browser, no account. Get the iPhone and iPad app · Android app

What is a deterministic finite automaton (DFA)?
Show answerA finite automaton where each state has exactly one transition for each input symbol.
What is a nondeterministic finite automaton (NFA)?
Show answerA finite automaton where a state may have zero, one, or more transitions for each input symbol.
How do DFA and NFA differ in their transition functions?
Show answerDFA: one transition per input symbol per state. NFA: zero or more transitions per input symbol per state.
What is an accept state (or final state) in an automaton?
Show answerA designated state such that a string is accepted by the automaton if and only if it ends in an accept state after reading the entire input.
Can every NFA be converted to an equivalent DFA?
Show answerYes, using the subset construction, where each DFA state represents a set of NFA states.
When does a DFA accept a string?
Show answerWhen following the transitions for each input symbol in sequence leads to an accept state after the final symbol is consumed.
What is the language of an automaton?
Show answerThe set of all strings that the automaton accepts.
What is a regular language?
Show answerA language that can be recognized by some finite automaton (equivalently, described by a regular expression).
What is a regular expression?
Show answerA notation for describing regular languages using the operations union, concatenation, and Kleene star over an alphabet.
What is the relationship between finite automata and regular expressions?
Show answerEvery language describable by a regular expression is accepted by some finite automaton, and vice versa.
Are regular languages closed under union?
Show answerYes. If L1 and L2 are regular, then L1 union L2 is regular.
Are regular languages closed under concatenation?
Show answerYes. If L1 and L2 are regular, then L1 concatenated with L2 is regular.
Are regular languages closed under Kleene star?
Show answerYes. If L is regular, then L* is regular.
Are regular languages closed under complement?
Show answerYes. If L is regular, then the complement of L (all strings not in L) is regular.
Are regular languages closed under intersection?
Show answerYes. If L1 and L2 are regular, then L1 intersected with L2 is regular.

20 more cards in the app

Study this set free