Login
Remember
Register
Questions
Classes
Ask a Question
Educational News
Ask a Question
Recent questions and answers in Theory of Computation (Automata)
0
answers
Write the properties of LR (k) grammars.
asked
in
INTRODUCTION TO FORMAL PROOF
by
ankaskqa
0
answers
Prove that there exists a DFA for every NFA which accept the same language.
asked
in
INTRODUCTION TO FORMAL PROOF
by
ankaskqa
0
answers
How Turing machine is different from FA and PDA in terms of capability?
asked
in
INTRODUCTION TO FORMAL PROOF
by
ankaskqa
0
answers
Give example of language that is recursive.
asked
in
INTRODUCTION TO FORMAL PROOF
by
ankaskqa
0
answers
What is Griebach Normal Form?
asked
in
INTRODUCTION TO FORMAL PROOF
by
ankaskqa
0
answers
What is post correspondence problem?
asked
in
INTRODUCTION TO FORMAL PROOF
by
ankaskqa
0
answers
Define terminal and non-terminal symbol.
asked
in
INTRODUCTION TO FORMAL PROOF
by
ankaskqa
0
answers
Show that L = {a p | p is a prime} is not a context free language.
asked
in
INTRODUCTION TO FORMAL PROOF
by
ankaskqa
0
answers
What are context free languages?
asked
in
INTRODUCTION TO FORMAL PROOF
by
ankaskqa
0
answers
Give formal definition of Turing Machine.
asked
in
INTRODUCTION TO FORMAL PROOF
by
ankaskqa
To see more, click for all the
questions in this category
.
Classes
All Classes
Class Sixth
(1.4k)
Class Seventh
(826)
Class Eighth
(1.3k)
Class Ninth
(1.2k)
Class Tenth
(1.8k)
Class XI
(917)
Class XII
(2.2k)
BCA
(871)
MCA
(2.3k)
Business Management ( BBA-MBA)
(2.1k)
MBA
(1)
B Tech 1st and 2nd Semester
(850)
Computer Science & Engineering
(1.9k)
Math-III
(0)
Data Structure
(34)
Multimedia Communication
(25)
Microprocessor
(35)
Digital Electronics
(28)
Database Management System
(71)
Data Communication and Networks
(103)
System programming
(155)
Core Java
(21)
Operating System
(23)
Computer Graphics
(167)
Probability and Queuing Theory
(0)
Management Information System
(36)
Algorithm Analysis and Design
(95)
Computer System Architecture
(67)
Numerical Methods
(20)
Advanced Java Programming
(6)
Software Engineering
(62)
Theory of Computation (Automata)
(74)
INTRODUCTION TO FORMAL PROOF
(50)
REGULAR EXPRESSIONS AND LANGUAGES
(6)
CONTEXT- FREE GRAMMER AND LANGUAGES
(16)
PROPERITIES OF CONTEXT – FREE LANGUAGES
(0)
UNIX Internals
(61)
ERP
(100)
Data Warehousing and Data Mining
(158)
Parallel Algorithm
(4)
Artificial Intelligent
(41)
Digital Image Processing
(198)
Neural Networks
(35)
Software Quality Engineering
(148)
VLSI Design
(39)
Cryptography and Network Security
(72)
B Tech Civil
(0)
B Tech Mechanical
(0)
B Tech EEE
(802)
B Tech ECE
(3.2k)
General Knowledge
(2)
Related to Industry
(6)
Competition Exams
(1)
Social Media Links
21.6k
questions
6.5k
answers
18
users
...