rdfs:comment
| - System półthueowski to zbliżony do gramatyk typu 0. Jedyna różnica polega na tym, że w systemach półthueowskich nie ma podziału na symbole terminalne i nieterminalne ani wyróżnionego symbolu początkowego. Formalnie, system półthueowski S nad alfabetem A jest relacją gdzie oznacza zbiór wszystkich słów nad alfabetem A (domknięcie Kleenego). System półthueowski, w którym wszystkie reguły są odwracalne (tj. jeśli jest regułą, to też), nazywany jest systemem Thuego. (pl)
- 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. (pt)
- Semi-Thue-System (oder auch Umformungssystem, Wortersetzungssystem oder Stringersetzungssystem) ist in der Theoretischen Informatik ein Regelsystem zur Transformation von Wörtern. Anders als bei formalen Grammatiken liegt aber nur ein Alphabet mit Ersetzungsregeln vor, es wird nicht zwischen Terminalsymbolen und Nichtterminalsymbolen unterschieden und es gibt kein Startsymbol. (de)
- En informatique théorique et en logique mathématique, un système de semi-Thue ou sa version symétrique, un système de Thue, est un système de réécriture de chaînes de caractères ou mots, appelé ainsi d'après son inventeur, le mathématicien norvégien Axel Thue. Contrairement aux grammaires formelles, un tel système ne distingue pas entre symboles terminaux et non terminaux, et ne possède pas d'axiome. Le problème de décider de l'existence d'une relation entre deux mots est indécidable. (fr)
- In theoretical computer science and mathematical logic a string rewriting system (SRS), historically called a semi-Thue system, is a rewriting system over strings from a (usually finite) alphabet. Given a binary relation between fixed strings over the alphabet, called rewrite rules, denoted by , an SRS extends the rewriting relation to all strings in which the left- and right-hand side of the rules appear as substrings, that is , where , , , and are strings. (en)
|