Introduction and finite automata Flashcards

1
Q

LAG

A

Language, Automata, Grammar

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Symbol

A

{ a,b,c,d,0,1,2,3,…}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Finite set of symbols

A

Alphabet

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Collection of alphabet, Sequence

A

String {a, aa, aaa, aaaa, …}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Collection of Strings

A

Language L(M), i.e. Strings starting with ‘a’

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Empty String

A

∑(a, b) = ∑0 = ε

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Types of Language

A

Finite, Infinite

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Automata

A

Model, Machine to check whether given string is accepted in language or not.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Example of Finite Language?

A

strings of length 4

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Example of Infinite Language?

A

strings starts with ‘a’

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Set of all strings with Length = 0

∑ = (a, b)

A

∑0, ε, λ

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Set of all strings with length = 1

∑ = (a, b)

A

∑1 = {a, b}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Kleene Closure

A

∑#, (a+b)# , {ε, a, b, ab, aab, aba, baa, ….}

All possible strings over ∑= (a, b), here # = *

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Positive Closure

A

∑+ , (a + b)+, {a, b, ab, aab, aba, …}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

(∑+) + (∑0) = ?

A

∑*

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

What is Grammar?

A

G = {V, T, P, S}
V = variable
T = Terminal
P = Production Rule
S = Start

17
Q

Example of Grammar?

A

S -> aSb | ε

a^mb^m, m >=0

18
Q

give examples of “S -> aSb | ε”

A

{ε, ab, aabb, aaabbb, …}

19
Q

S -> SS
S -> aSb
S-> bSa
S -> ε

A

n(a) = n(b)

20
Q

Expressing power of any machine can be defined as…

A

the maximum number of languages it can accept..
if machine M1 can accept more languages then M2 then we can say that expressing power of M1 is greater then M2

21
Q

Deterministic finite automata (DFA) and Non-deterministic finite automata (NFA) have different POWER
T or F ?

A

FALSE
Languages accepted by NFA,will also be accepted by DFA because we can make DFA corresponding to NFA. So their expressing power is same.

22
Q

Deterministic push down automata (DPDA) and Non-deterministic push down automata (NPDA) have different POWER
T or F ?

A

TRUE
In this case languages accepted by NPDA is more then DPDA, so expressing power of NPDA is more then DPDA

23
Q

FA

Deterministic single tape Turing machine and Non-deterministic single tape Turing machine have same POWER
T or F ?

A

TRUE
Both deterministic and non deterministic turing can accept same language.so there expressing power is same.

24
Q

Single tape Turing machine and multi-tape Turing machine same POWER
T or F ?

A

FALSE
In turing machine if we increase the number of tape then also language accepted by that machine is same as single tape turing machine.so there expressing power is same.

25
Q

C language is a regular language.
T or F?

A

FALSE.
The C language is a context sensitive language.
All modern programming languages use CSL.