System zur Simulation mathematischer Maschinen
Pflichtenheft
1. Einleitung
Für die Lehre im Fach "Automaten und Formale Sprachen" soll eine Software
erstellt werden, die mathematische Maschinen bzw. Formalismen simuliert.
Das Produkt soll folgende Formalismen unterstützen:
-
Endlicher - Automat
-
Keller - Automat
-
Turing - Maschine
Das Produkt soll eine einheitliche Bedieneroberfläche erhalten, die
ein effizientes Arbeiten mit den unterschiedlichen Algorithmenformalisierungen
gestatten soll.
Grundfunktionen der Software sind:
-
Editieren der Algorithmen
-
Editieren der Eingabebänder
-
Speichern bzw Laden der Algorithmen und Bänder
-
Konfiguration der Software
-
On_Line_Hilfe durchgehend im Programm
-
Debuggen
-
Visuelle Darstellung beim Ablauf der Algorithmen
2. Produktumgebung Anwendungsbereiche
und Anwendergruppen
Das Produkt soll den Umgang, die Erstellung und die Bildliche Darstellung
von Automaten und Formalen Sprachen erleichtern. das Produkt ist speziell
gedacht für Studenten, die das Fach AFS leichter erlernen wollen und
für Entwickler von Algorithmen für Automaten.
3. Produktumgebung Hard-
und Softwareumgebungen
Voraussetzungen, um dieses Produkt zu nutzen, wären:
-
Ein funktionsfähiger 286iger mit 640KB RAM
-
200KB freier Plattenspeicher
-
eine VGA Grafikkarte
-
ein VGA-Monitor
-
eine Tastatur
-
MS-DOS 4.0 und höher
4. Kurze Darstellung der Benutzerfunktionen
-
4.01 Wahlmenu zum erreichen der einzelnen Unterpunkte des Programms
-
4.02 Kleine Informationen zu den Automaten
-
4.03 Programmkonfiguration verändern
-
- - -
-
4.04 Speichern eines Bandes mit dazugehöriger Erläuterung
für den Endlichen Automaten
-
4.05 Speichern einer Tabelle mit dazugehöriger Erläuterung
für den Endlichen Automaten
-
4.06 Angabe des Dateinamens für die Tabelle des Endlichen Automaten
-
4.07 Angabe des Dateinamens für das Eingabeband des Keller Automaten
-
4.08 Laden einer Tabelle für den Endlichen Automaten
-
4.09 Laden eines Bandes für den Endlichen Automaten
-
4.10 Editieren eines Eingabebandes für den Endlichen Automaten
-
4.11 Editieren eines Algorithmuses in Form einer Tabellen für
den Endlichen Automaten
-
4.12 Interpretieren eines Algorithmuses und eines dazugehörigen
Bandes für den Endlichen Automaten
-
- - -
-
4.13 Speichern eines Bandes mit dazugehöriger Erläuterung
für den Keller Automaten
-
4.14 Speichern einer Tabelle mit dazugehöriger Erläuterung
für den Keller Automaten
-
4.15 Angabe des Dateinamens für die Tabelle des Keller Automaten
-
4.16 Angabe des Dateinamens für das Eingabeband des Keller Automaten
-
4.17 Laden einer Tabelle für den Keller Automaten
-
4.18 Laden eines Bandes für den Keller Automaten
-
4.19 Editieren eines Eingabebandes für den Keller Automaten
-
4.20 Editieren eines Algorithmuses in Form einer Tabellen für
den Keller Automaten
-
4.21 Interpretieren eines Algorithmuses und eines dazugehörigen
Bandes für den Keller Automaten
-
- - -
-
4.22 Speichern eines Bandes mit dazugehöriger Erläuterung
für die Turing Maschine
-
4.23 Speichern einer Tabelle mit dazugehöriger Erläuterung
für die Turing Maschine
-
4.24 Angabe des Dateinamens für die Tabelle der Turing Maschine
-
4.25 Angabe des Dateinamens für das Eingabeband der Turing Maschine
-
4.26 Laden einer Tabelle für die Turing Maschine
-
4.27 Laden eines Bandes für die Turing Maschine
-
4.28 Editieren eines Eingabebandes für die Turing Maschine
-
4.29 Editieren eines Algorithmuses in Form einer Tabellen für
die Turing Maschine
-
4.30 Interpretieren eines Algorithmuses und eines dazugehörigen
Bandes für die Turing Maschine
System zur Simulation mathematischer Maschinen