8 Ergebnisse für: decidable
-
OGND - results/titledata
http://swb.bsz-bw.de/DB=2.104/SET=1/TTL=1/CMD?retrace=0&trm_old=&ACT=SRCHA&IKT=2999&SRT=RLV&TRM=10682726X
Keine Beschreibung vorhanden.
-
Context-free Languages And Primitive Words - Ito Masami, Domosi Pal - Google Books
https://books.google.de/books?id=0Ba3CgAAQBAJ&pg=PA11
A word is said to be primitive if it cannot be represented as any power of another word. It is a well-known conjecture that the set of all primitive words Q over a non-trivial alphabet is not context-free: this conjecture is still open. In this book, the…
-
Context-free Languages And Primitive Words - Ito Masami, Domosi Pal - Google Books
https://books.google.de/books?id=0Ba3CgAAQBAJ&pg=PA447
A word is said to be primitive if it cannot be represented as any power of another word. It is a well-known conjecture that the set of all primitive words Q over a non-trivial alphabet is not context-free: this conjecture is still open. In this book, the…
-
DROPS - Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words
http://drops.dagstuhl.de/opus/volltexte/2015/4948
Keine Beschreibung vorhanden.
-
Computable Analysis: An Introduction - Klaus Weihrauch - Google Books
http://books.google.de/books?id=OPolVWVFDJYC
Is the exponential function computable? Are union and intersection of closed subsets of the real plane computable? Are differentiation and integration computable operators? Is zero finding for complex polynomials computable? Is the Mandelbrot set…
-
Franz Baader — Professur für Automatentheorie — TU Dresden
http://lat.inf.tu-dresden.de/~baader/
Informationen zur Lehre Forschungsthemen Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik) Automatisches Beweisen (inbesondere Termersetzung und …
-
Handbook of Formal Languages: Volume 1. Word, Language, Grammar - Grzegorz Rozenberg - Google Books
https://books.google.de/books?id=yQ59ojndUt4C
This first volume of the Handbook of Formal Languages gives a comprehensive authoritative exposition on the core of language theory. Grammars, codes, power series, L systems, and combinatorics on words are all discussed in a thorough, yet self-contained…
-
Metaphysics of an Experimental Epistemologist
http://www.vordenker.de/metaphysics/metaphysics.htm
Keine Beschreibung vorhanden.