Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in computation-theory

Right way to discuss computational complexity for small n

Does Provable == Decidable?

Prove that the set of all languages over a finite alphabet is uncountable

How to write an enumeration of all computable functions?

Is a*b* regular?

Is C# 4.0 compile-time turing complete?

Context free grammar for non-palindrome

Need Regular Expression for Finite Automata: Even number of 1s and Even number of 0s

what are these arrow operators in context free grammar?

Confusion about NP-hard and NP-Complete in Traveling Salesman problems

Understanding recognizers and deciders in Theory of Computation

How to calculate function points [closed]

NFA to DFA question

Are GPU shaders Turing complete

Minimum pumping length for the following regular languages

What it means lambda calculus is equivalent to turing machine

What is the difference between recursive and recursively enumerable languages

Is { w | w <> w^R } over the alphabet {0,1} a context-free language?

How waterproof is a Swiss cheese? [closed]

Is it possible to create an HTML quine?