Automata, Languages and Programming
Subtitle: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science)
Contributors: Josep Diaz (Editor); Juhani Karhumäki (Editor); Arto Lepistö (Editor); Donald Sannella (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 5, 2004
Language: eng
Format: Paperback
Number of pages: 1253
ISBN-13: 9783540228493
Subjects: Computers - General Information; Computer Books: General; Computers; Discrete Mathematics; Computer Science; Programming - Software Development; Computers / Computer Science; algorithms; automata; complexity; computational mathematics; cryptology; formal methods; logical foundations; Computer Programming; Congresses; Formal languages; Machine theory
First sentence: A static algorithm is one that computes the result of a query about the output for a single, fixed input.