Journal of the ACM (JACM)
A generalized technique for symbol manipulation and numerical calculation
Communications of the ACM
Formal languages and their relation to automata
Formal languages and their relation to automata
Programming the logic theory machine
IRE-AIEE-ACM '57 (Western) Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability
Journal of Computer and System Sciences
Hi-index | 14.98 |
Families of acceptors, called SS-AFA, are introduced in which the storage structure is of a very general form. For example, SS-AFA include ordinary AFA and all known multitape AFA, as well as families of acceptors whose storage structure is an n-dimensional array, a tree, or a linked structure. It is shown that from the point of view of languages defined, SS-AFA are equivalent to ordinary AFA.