SCOPUS 정보 검색 플랫폼

Volumn 134, Issue 2, 1994, Pages 329-363

Finite-memory automata

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GRAMMARS; DECISION THEORY; MATHEMATICAL MODELS;

EQUALITY SETS; INFINITE ALPHABETS; RABIN-SCOTT FINITE STATE AUTOMATA; SUBSTITUTION;

FINITE AUTOMATA;

EID: 0028542586 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/0304-3975(94)90242-9 Document Type: Article

Times cited : (377)

References (10)

2
- 84913003906
- The finite state acceptor and its application to AI
- (1989) SIGART Newsletter , vol.107 , pp. 29-31
- Ipser¹

4
- 0000223972
- Parallel program schemata
- (1969) J. Comput. System Sci. , vol.3 , pp. 147-195
- Karp¹ Miller²

5
- 0347577378
- Automata on infinite objects and Church's problem
- Published for, Providence, R.I.
- (1972) Conference Board of the Mathematical Sciences by the American Mathematical Society No. 13
- Rabin¹

6
- 0000973916
- Finite automata and their decision problems
- (1959) IBM Journal of Research and Development , vol.3 , pp. 114-125
- Rabin¹ Scott²

7
- 84912991734
- Y. Shemesh and N. Francez, Finite-state unification automata and relational languages, Inform. and Comput., to appear.

8
- 0000065573
- The reduction of two-way automata to one-way automata
- (1959) IBM Journal of Research and Development , vol.3 , pp. 198-200
- Shepherdson¹

9
- 85040876697
- Computer Science Press, Rockville, MD, Chapter 3
- (1988) Principles of Database and Knowledge-Base Systems , vol.1
- Ullman¹

10
- 85051051500
- Expressing interesting properties of programs in propositional temporal logic
- ACM, New York
- (1986) Proc. 13th Ann. ACM Symp. on Principles of Programming Languages , pp. 184-193
- Wolper¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.