41 research outputs found

    On the Existence of Universal Finite or Pushdown Automata

    Full text link
    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

    Full text link
    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

    Get PDF
    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

    Small deterministic Turing machines

    Get PDF

    La estructura verbal del otomí clásico

    Get PDF
    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
    corecore