Back to Results
First PageMeta Content
Theoretical computer science / Computer science / Deterministic finite automaton / Two-way deterministic finite automaton / Nondeterministic finite automaton / Finite-state machine / Turing machine / Computability / Read-only Turing machine / Theory of computation / Automata theory / Models of computation


Document Date: 2012-09-11 15:06:41


Open Document

File Size: 112,26 KB

Share Result on Facebook

City

Kleene / Springer-Verlag / Las Cruces / Shannon / Reading / /

Company

IBM / J. (editors) Princeton University Press / /

Country

United Kingdom / /

/

Facility

Summer Institute of Symbolic Logic / Cornell University / New Mexico State University / University of Bristol / /

IndustryTerm

real life computing tasks / nervous systems / natural language processing / text processing / /

Organization

Department of Computer Science / University of Bristol / New Mexico State University / Princeton University / Summer Institute of Symbolic Logic / Cornell University / /

Person

Michael Rabin / John C. Shepherdson / Dana Scott / /

/

Position

professor / /

ProgrammingLanguage

C / /

ProvinceOrState

New Mexico / South Carolina / New York / Massachusetts / /

Technology

natural language processing / fuzzy logic / /

SocialTag