Kernkonzepte
Die Bedingung (C) charakterisiert die kontrollierte Erzeugung von RLUBs.
Zusammenfassung
Die Arbeit beschäftigt sich mit der kontrollierten Erzeugung von rechten linearen Grammatiken mit unbekanntem Verhalten (RLUBs). Es werden GCs, Kontrollsysteme und Bedingungen für die Erzeugung von Sprachklassen diskutiert. Die Autoren präsentieren eine wichtige Bedingung (C) für die kontrollierte Erzeugung von RLUBs.
Die Struktur der Arbeit umfasst:
Einführung
Vorarbeiten in der Molekularen Informatik
Modellierung von RLUBs
Kontrollsysteme für RLUBs
Theoretische Analyse
Schlussfolgerung und zukünftige Arbeiten
Statistiken
λ1 ∈ µb|τ1| impliziert λ2 ∈ µt|τ2|
φ(t1)µb ⊆R1 ⊆ φ(t1)µt
X ⊆ Z
Zitate
"Die Bedingung (C) charakterisiert die kontrollierte Erzeugung von RLUBs."