Type | Title | Author | Publisher | Year | ||
---|---|---|---|---|---|---|
Article | On reducing the number of states in a PDA | Goldstine, J., Price, J.K., Wotschke, D. | 1981 | |||
Article | Formal Languages: Origins and Directions | Greibach, S. | 1981 | |||
Article | Pure grammars and pure langauges | Gabrielian, A. | 1981 | |||
Article | Synchronized E0L forms under uniform interpretation | Maurer, H.A., Salomaa, A., Wood, D. | 1981 | |||
Article | A translational theorem for the class of E0L languages | Engelfriet, J., Rozenberg, G. | 1981 | |||
Article | Linked forest manipulation systems---a tool for computational semantics | Culik II, K., Farah, M. | 1981 | |||
Article | Algebraic Specification of the Software Controlling a Parcels Distribution Machine | Schneider, H.J. | 1981 | |||
Article | Selective substitution array grammars | Siromoney, R., Subramanian, K.G. | 1981 | |||
Article | Fixed Languages and the Adult Languages of 0L Schemes | Head, T. | 1981 | |||
Article | A note on a problem in the theory of grammatical complexity | Bucher, W. | 1981 | |||
Article | On Predecessors of Finite Languages | Maurer, H.A., Salomaa, A., Wood, D. | 1981 | |||
Article | Fixed Languages and the Adult Languages of 0L Schemes | Head, T. | 1981 | |||
Article | Decidebility and density in two-symbol grammar forms | Maurer, H.A., Salomaa, A., Wood, D. | 1981 | |||
Article | Multi-head sequential transducers | Paun, Gh. | 1981 | |||
Article | Completeness of Context-free Grammar Forms | Maurer, H.A., Salomaa, A., Wood, D. | 1981 | |||
Article | On the complexity of the general coloring problem | Maurer, H.A., Sudborough, J.H., Welzl, E. | 1981 | |||
Article | Decidability and density in two-symbol grammar forms | Maurer, H.A., Salomaa, A., Wood, D. | 1981 | |||
Article | Concise description of finite languages | Bucher, W., Maurer, H.A., Culik II, K., Wotschke, D. | 1981 | |||
Article | On predecessors of finite languages | Maurer, H.A., Salomaa, A., Wood, D. | 1981 | |||
Article | Strict Interpretations of Deterministic Pushdown Acceptors | Ginsburg, S., Kintala, C.M.R. | 1981 | |||
Article | The decidability of the D0L-DT0L equivalence problem | Ruohonen, K. | 1981 | |||
Article | Transductions and the parallel generation of languages | Culik II, K., Head, T. | 1981 | |||
Article | Decidebility and density in two-symbol grammar forms | Maurer, H.A., Salomaa, A., Wood, D. | 1981 | |||
Article | Test sets for context free langauges and algebraic systems of equations over a free monoid | Albert, J., Culik II, K., Karhumaki, J. | 1982 | |||
Article | Iskysstvo testirovanija programm | Mauers, P. | 1982 | |||
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 |