Bug 151 – TM: fehlerhafte Behandlung von ('#',0,'#',0,O)

Bug 151 - TM: fehlerhafte Behandlung von ('#',0,'#',0,O)

Summary:

TM: fehlerhafte Behandlung von ('#',0,'#',0,O)

Status:	NEW

Product:	Auto*
Component:	autotool
Version:	other
Platform:	PC All

Importance:	P2 minor
Assigned To:	Johannes Waldmann

URL:

Depends on:
Blocks:
	Show dependency tree / graph

Reported:	2006-06-07 14:55 CEST by Alexander Nittka
Modified:	2006-06-07 14:55 CEST (History)
CC List:	0 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Alexander Nittka 2006-06-07 14:55:21 CEST

Scheinbar wird obige "Nichts-tu-Transition" nicht ordentlich behandelt. Denn
eigentlich sollte nach <cut>-maliger Anwendung der Transition das Autotool
sagen, dass keine akzeptierende Konfiguration erreicht wurde (leeres Wort gehört
zur Sprache, 0 Startzustand aber kein Endzustand). Das passiert aber nicht.
Stattdessen läuft die Simulation so lange bis es eine Endlosschleife.