<--- Back to Details
First PageDocument Content
Automata theory / Computer science / Cellular automata / Computability theory / Cellular automaton / Finite-state machine / Finite state transducer / A New Kind of Science / Turing machine / Theory of computation / Models of computation / Theoretical computer science
Date: 2012-09-20 14:37:05
Automata theory
Computer science
Cellular automata
Computability theory
Cellular automaton
Finite-state machine
Finite state transducer
A New Kind of Science
Turing machine
Theory of computation
Models of computation
Theoretical computer science

Complexity and Universality of Iterated Finite Automata

Add to Reading List

Source URL: www.complex-systems.com

Download Document from Source Website

File Size: 1,43 MB

Share Document on Facebook

Similar Documents

Speaker: Jason Rute Title: Randomness, Brownian Motion, Riesz Capacity, and Complexity Abstract: Algorithmic randomness is a topic in computability theory which investigates which paths in a stochastic process behave ran

DocID: 1sWjT - View Document

Logic / Mathematical logic / Theoretical computer science / Natural language processing / Formal methods / Computability theory / Artificial intelligence / Decidability / First-order logic / Natural language understanding / Natural language user interface / Entityrelationship model

In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract

DocID: 1rsvH - View Document

Computer programming / Software engineering / Computing / Theoretical computer science / Programming idioms / Algorithms / Computability theory / Mathematical logic / Recursion / Programming paradigm / Subroutine / Iteration

Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3

DocID: 1rozw - View Document

Mathematical logic / Software engineering / Theoretical computer science / Type theory / Computability theory / Logic in computer science / Proof assistants / Logic for Computable Functions / HOL / Lambda calculus / Primitive recursive function / Recursion

A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

DocID: 1rjEK - View Document

Mathematical logic / Logic / Computability theory / Theory of computation / Proof theory / Hierarchy / Lambda calculus / Theoretical computer science / Consistency / Propositional calculus / Calculus / Arithmetical hierarchy

Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549

DocID: 1rjw8 - View Document