Theory of computation /

• Κύριος συγγραφέας: Tourlakis, George J.
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Hoboken, N.J. : Wiley, 2012.
• Θέματα: Computable functions.; Functional programming languages.; MATHEMATICS > Discrete Mathematics.; Electronic books.

"In the (meta)theory of computing, the fundamental questions of the limitations of computing are addressed. These limitations, which are intrinsic rather than technology dependent, may immediatly rule out the existence of algorithmic solutions for some problems while for others they rule out ef...

Πίνακας περιεχομένων:

• 1 Mathematical foundations
• 2. Algorithms, computable functions and computations
• 3. A subset of the URM language; FA and NFA
• 4. Adding a stack to a NFA: pushdown automata
• Computational complexity.