Top "Computation-theory" questions

The theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm.

Left-Linear and Right-Linear Grammars

I need help with constructing a left-linear and right-linear grammar for the languages below? a) (0+1)*00(0+1)* b) 0*(1(0+1))* c) (((01+10)*11)*00)* For a) I …

grammar regular-language computation-theory formal-languages
Need Regular Expression for Finite Automata: Even number of 1s and Even number of 0s

My problem may sounds different to you. I am a beginner and I am learning Finite Automata. I am googing …

regular-language finite-automata computation-theory dfa
How to calculate function points

This is a question about theoretical computing. I have came through a question like below; Consider a project with the …

theory computation-theory function-points
Construct grammar given the following language {a^n b^m | n,m = 0,1,2,...,n <= 2m}

I just took my midterm but couldn't answer this question. Can someone please give a couple of examples of the …

grammar context-free-grammar computation-theory context-sensitive-grammar
What is the difference between recursive and recursively enumerable languages

I was wondering what the difference between recursive and recursively enumerable languages is in terms of halting and Turing Machines. …

computer-science theory computation-theory turing-machines formal-languages
Difference between Turing-Decidable and Co-Turing-Decidable

I am really struggling with understanding the difference between these two. From my textbook, it essentially describes the difference by …

theory turing-machines computation-theory
Converting Epsilon-NFA to NFA

I'm having trouble understanding the process of converting an epsilon-NFA to a NFA, so I wondered if anybody could help …

state automata computation-theory nfa epsilon
Real world uses of DFA,NFA,PDA and Turing machines

I am now taking a course on Theory of Computation. I can understand the concepts well. I can able to …

finite-automata computation-theory turing-machines
Context free grammar for non-palindrome

I need a CFG which will generate strings other than palindromes. The solution has been provided and is as below.(…

context-free-grammar computation-theory
Design a PDA of all strings of 0's and 1's so that the number of 1's is twice the number of 0's

While practicing for my final exams I found this question in Automata Theory, Language and Computation by J. Hopcroft, R. …

automata computation-theory pushdown-automaton