Sistemas de Thue-Semi

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa

Na ciência da computação e na matemática, um sistema de Thue-Semi é um sistema de cadeia reescrito. Recebeu o nome devido aos trabalhos do matemático norueguês Axel Thue, que iniciou tratamentos sistemáticos à sistemas de cadeia reescritos nos princípios do século XX.

Definição[editar | editar código-fonte]

Sendo um alfabeto finito, e a trava de Kleene sobre . Então um sistema de Thue-Semi é um invólucro com

Os elementos de R são chamados de produções ou regras reescritas, e são habitualmente escritos como regras de . Note que R pode ser infinito; mas caso um sistema de thue-semi seja simétrico (i.e. ), ele será chamado de sistema de Thue.

Um SRS pode ser definido diretamente como um sistema de reescrita abstrata. Também pode ser visto como um tipo restrito de um sistema reescrevendo termos. Como formalismo, os sistemas de reescrita de strings são Turing complete. O nome semi-Thue vem do matemático norueguês Axel Thue, que introduziu o tratamento sistemático dos sistemas de reescrita de cordas em um artigo de 1914.[1] Thue introduziu essa noção na esperança de resolver o problema da palavra para semigrupos finitamente apresentados. Somente em 1947 o problema mostrou ser indecidível & mdash; este resultado foi obtido independentemente por Emil Post e A. A. Markov Jr..[2][3]

Referências

  1. Book and Otto, p. 36
  2. Abramsky et al. p. 416
  3. Salomaa et al., p.444

Bibliografia[editar | editar código-fonte]

  • Ronald V. Book and Friedrich Otto, String-rewriting Systems, Springer, 1993, Predefinição:Isbn.
  • Matthias Jantzen, Confluent string rewriting, Birkhäuser, 1988, Predefinição:Isbn.
  • Martin Davis, Ron Sigal, Elaine J. Weyuker, Computability, complexity, and languages: fundamentals of theoretical computer science, 2nd ed., Academic Press, 1994, Predefinição:Isbn, chapter 7
  • Elaine Rich, Automata, computability and complexity: theory and applications, Prentice Hall, 2007, Predefinição:Isbn, chapter 23.5.
  • Samson Abramsky, Dov M. Gabbay, Thomas S. E. Maibaum (ed.), Handbook of Logic in Computer Science: Semantic modelling, Oxford University Press, 1995, Predefinição:Isbn.
  • Grzegorz Rozenberg, Arto Salomaa (ed.), Handbook of Formal Languages: Word, language, grammar, Springer, 1997, Predefinição:Isbn.

Ver também[editar | editar código-fonte]

Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.