Publication | Closed Access
A note on multihead automata and context-sensitive languages
23
Citations
3
References
1973
Year
SyntaxEngineeringLogical AutomatonAutomated ReasoningMultihead AutomataFormal MethodsPushdown AutomatonAutomaton OperationComputer ScienceLanguage StudiesFormal VerificationLinguistics
| Year | Citations | |
|---|---|---|
Page 1
Page 1