State transition machines for lambda calculus expressions.
David A. SchmidtPublished in: Semantics-Directed Compiler Generation (1980)
Keyphrases
- state transition
- lambda calculus
- state transitions
- input output
- state space
- state transition model
- hidden markov models
- black box
- programming language
- markov chain
- finite state machines
- predicate calculus
- program understanding
- database query languages
- complex objects
- higher order
- object oriented
- natural language
- model checking
- formal model