Ist es entscheidbar, ob die Ausgangslänge eines Wandlers durch die Eingangslänge begrenzt ist?

10

Die hier betrachteten Wandler sind jene, die Wikipedia Finite-State-Wandler nennt . Das Verhalten eines Wandlers , dh die von ihm berechnete Beziehung, wird geschrieben [ T ] : Ein Wort y ist eine Ausgabe für x iff x [ T ] y .T[T]yxx[T]y

Frage: Ist das folgende Problem entscheidbar:

Gegeben: Ein Wandler und eine reguläre Sprache L Entscheiden: Enthält es, dass x L , y ein Wort, x [ T ] y impliziert, dass | y | | x | ?TL
xLyx[T]y|y||x|

Ich suche nach nicht trivialen Analysen / lösbaren Unterfällen, Reduktion auf bekannte Probleme und / oder verwandte Referenzen. (im Moment nicht einmal sicher, ob es im Allgemeinen entscheidbar ist ...?)

Motivation: Dieses Problem wurde durch die Analyse / Untersuchung des automatisierten Theorems zum Nachweis zahlentheoretischer Probleme im Allgemeinen und einer hoch untersuchten, Collatz-Vermutung im Besonderen, inspiriert .

vzn
quelle
2
ps (sollte bekannt sein, wie lange bekannt) FSM-Wandler sind leistungsfähig genug, um einzelne Iterationen von TM "Momentanbeschreibungen" zu berechnen . Daher scheint das Problem möglicherweise mit LBAs und CSLs zu zusammenhängen .
vzn
Von Sie sprechen von der Anzahl der Ausgänge am Eingang x , oder? Nicht die Größe der Ausgänge, in diesem Fall wäre es ganz einfach. |F(x)|x
Michaël Cadilhac
sind beide Wörter und | F ( x ) | ist die Länge des "Ausgabe" -Wortes. Ich habe einige Ideen, sehe aber im Moment nichts Geradliniges, daher die Frage. Es ist vermutlich nicht trivial, z. B. aufgrund von ϵ Ein- / Ausgängen bei einigen Übergängen usw.x,F(x)|F(x)|ϵ
vzn
Sie nehmen also implizit an, dass Ihr Wandler funktionsfähig ist - notationstechnisch war mir das nicht klar :-) Was ist also mit Folgendem: Sei ein (möglicherweise nicht deterministischer) Wandler und L eine bestimmte reguläre Sprache. Modifiziere T in einen Wandler T ', so dass er prüft, ob sein Eingang in L ist und alle seine Zustände erreichbar und gemeinsam erreichbar sind. Dann | T ( w ) | | w | für alle w L, wenn es im Wandler T ' keinen einfachen Zyklus gibtTLTTL|T(w)||w|wLTfür die die Eingabe kleiner als die Ausgabe ist und einige zusätzliche einfache Eigenschaften für die Übergänge, die in keinem SCC angezeigt werden.
Michaël Cadilhac
okay. für "Eingabe ist kleiner als Ausgabe" meinen Sie über den Zyklus? Ich denke, das ist es wert, als Antwort aufgeschrieben zu werden. Es gab eine andere Möglichkeit, dieses / verwandte Problem mit strengeren Kriterien zu formulieren, was vermutlich nicht (so) einfach ist. Vielleicht versuchen Sie es erneut ("Teil 2 / Fortsetzung / Follow-up"), wenn Ihre Antwort richtig erscheint. Dieses aktuelle Problem ist wahrscheinlich fast ein Sonderfall des umfassenderen Problems.
vzn

Antworten:

8

Der andere Mitwirkende hat seine Antwort gelöscht, vielleicht um mich meinen obigen Kommentar erweitern zu lassen, also hier ist es.

Sei ein möglicherweise nicht deterministischer Wandler und L eine reguläre Sprache. Modifiziere T in einen Wandler T ' , der prüft, ob sein Eingang in L ist (indem z. B. der in das kartesische Produkt der Zustandssätze von T und L eingestellte Zustand geändert wird und die Übergangsfunktion so modifiziert wird, dass der L Teil der Zustände ist wird ordnungsgemäß aktualisiert, wobei das Verhalten von T beibehalten wird .)TLTTLTLLT

Tρ1C1ρ2C2ρnCnρn+1ρ1ρ2ρn+1TCiTρiρi+1

  1. ρ1ρ2ρn+1

  2. iCi

[x,yx[T]y|y||x| ]

Der Beweis ist ziemlich unmittelbar. Da die letztere Eigenschaft entscheidbar ist (da die Anzahl der Zweige und auch die Anzahl der einfachen Zyklen begrenzt ist), zeigt dies, dass das Problem der Frage entscheidbar ist.

Michaël Cadilhac
quelle
1
L
n1Snk1LnSn=Ln+kSn
1
@ EmilJeřábek In der Tat ist es ganz klar in Co-NL (daher in NL).
Michaël Cadilhac
@MarzioDeBiasi Danke! Ich habe Ihre Nachricht in der Tat nicht gesehen. Ich werde daran arbeiten, Ihre Zeit zurückzuerstatten, wenn ich welche habe.
Michaël Cadilhac