41 research outputs found
On the Existence of Universal Finite or Pushdown Automata
We investigate the (non)-existence of universal automata for some classes of
automata, such as finite automata and pushdown automata, and in particular the
influence of the representation and encoding function. An alternative approach,
using transition systems, is presented too.Comment: In Proceedings DCM 2011, arXiv:1207.6821. Sadly, Manfred Kudlek
passed away June 18, 2012, before publication of this pape
Some Considerations on Universality
The paper puts into discussion the concept of universality, in particular for
structures not of the power of Turing computability. The question arises if for
such structures a universal structure of the same kind exists or not. For that
the construction of universal Turing machines and those with some constraints
are presented in some detail
Notes on Encoding Ethiopic for LATEX
Encoding Ethiopic for computer application is increasingly important for linguists, librarians, information and communication technologists. This paper focusses on encoding Ethiopic for the LATEX document preparation system, and on the methods and principles of the ethiop package which supports Ethiopie for LATEX. ethiop is a package developed by a research group at the University of Hamburg, that integrates Ethiopic to the TEX/LATEX system.We hope that this package opens up a new venue to scientific and mathematical document processing, using the rich and well developed TEX/LATEX system. Moreover, it could render a better data exchange mechanism by virtue of its platform independence and plain ASCII nature
Iteration Lemmata for Normed Semirings (Algebraic Systems, Formal Languages and Computations)
On Primitive Multisets (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
La estructura verbal del otomí clásico
Una de las lenguas menos conocidas del México antiguo es el otomí. Por un lado hay menos documentos y, por el otro, la estructura de la gramática es muy complicada comparándola con la del mexicano. Esta contribución trata especialmente del complejo verbal del otomí, entre otras cosas de los pronombres personales, de la estructura del verbo y de las mutaciones. Las mutaciones, comparables con las de las lenguas célticas, dan causa a muchas dificultades del otomí. Ciertos adverbios y verbos también hacen mutar las formas del verbo