@webwriter/automaton
Version:
Build, visualize, and interact with different kinds of automata (DFA, NFA, PDA).
132 lines (126 loc) • 4.87 kB
text/typescript
// Do not modify this file by hand!
// Re-generate this file by running lit-localize
import {html} from 'lit';
/* eslint-disable no-irregular-whitespace */
/* eslint-disable @typescript-eslint/no-explicit-any */
export const templates = {
'h25e62c96f8182fcc': html`
<span>Der Automat
<sl-badge variant="success">akzeptiert
</sl-badge> das Wort
<b>${0}</b>.
</span>
`,
'h28031e78bb7297a9': html`
<span>Der Automat
<sl-badge variant="danger">lehnt
</sl-badge> das Wort
<b>${0}</b> ab.
</span>
`,
'h2e7f32ac617924d0': html`Fehlender Übergang für
<b>${0}</b>
`,
'h5130af20b6d54f05': html`Mehrere Übergänge für
<b>${0}</b>
`,
'h56d667fd1fb9d47d': html`Bitte beheben Sie die folgenden
<sl-badge variant="danger">Fehler,
</sl-badge> um die Simulation durchzuführen:
`,
'h6c2fe3d409d7ba36': html`Kein gültiger Pfad gefunden. Der Automat
<sl-badge variant="danger">lehnt
</sl-badge> das Wort
<b>${0}</b> ab.
`,
's033b7cf13e11023b': `Übergänge:`,
's05c44a5db696fcaf': `Bearbeitung`,
's061cc20e3432dead': `Pause`,
's09243007b5b91006': `Wenn`,
's09318db807188948': `Senke hinzufügen`,
's09c6c5bc21d0e1f0': `Um einen Zustand zu bearbeiten, klicken Sie mit der rechten Maustaste auf den Zustand`,
's0fbf6dc6a1966408': `Weiter`,
's11b075d3731a5194': `Zustand hinzufügen (Strg+Q)`,
's1b00cf75d5f4f616': `Wählen Sie einen Zug:`,
's1b5a859826f8be7d': `Ausführliche Ausgaben`,
's1c2404542b3e48d9': `Transformationen`,
's21b06c38fc4164db': `Fortgeschritten`,
's255857544a9d5ec0': `Zurücksetzen`,
's261af1b4598fef3f': `Erlaubte Modi`,
's2ea31ea953b32ee5': `Übergang mit leerem Symbol`,
's2f64461723d3df5d': `Ändern`,
's3050764b15c8baf0': `Übergangstabelle anzeigen`,
's335050fdf97d8f6e': `Kein Startzustand definiert`,
's337a1e9022a8d19f': `Tabelle`,
's352719d86112de9a': `Hilfe`,
's35f1dd3fd023476a': `Automatisierung`,
's36494e700fe1e5c6': `Schritt für Schritt`,
's36dfd719c2d7c63c': `NEA`,
's3c0d17bad169557b': `nichts`,
's3de7bee91528e5cc': `Stapel-Aktionen`,
's3e141c08e0ace321': `Testsprache`,
's42b6431842b835b3': `Sprache:`,
's42cbd8dca939a9c7': `Prüfen`,
's4b10acae683d2978': `Vollbildschirm`,
's4f6476c3d1856c19': `Keine weiteren Schritte möglich. Versuchen Sie einen anderen Pfad.`,
's5590dbf7e425789d': `Beschriftung`,
's568f5722bc79d077': `Senke`,
's5787e20cab57b383': `Unbekannter Fehler`,
's61f0ff0bab2b8310': `Animieren`,
's64ef2a6c2dd1d3d1': `Bearbeiten`,
's6503256c2de2745c': `Übergang`,
's66bd1cc6d2f6b68d': `Zustand`,
's66da3efd9a45b25a': `Prüfe Leerheit`,
's6a7a6503441d48ee': `Um einen Übergang zu bearbeiten, klicken Sie mit der rechten Maustaste auf den Übergang`,
's6c80030e2762459d': `push`,
's6ea31a50ccf59dcf': `Übergang hinzufügen (Strg+E)`,
's71813a5a8d63ac81': `Eingabewort`,
's74a96f52fd23c3e8': `Mehrere Startzustände definiert`,
's779b5819564f2f50': `pop`,
's78bc8524e7c2d052': `Senke`,
's7b72a2e6d7ff3291': `Verschieben der Elemente durch Ziehen und Ablegen`,
's7df224ba56fb8e1e': `Modus-Schalter`,
's7f59f507e02a2f38': `Ansicht`,
's860b83fc8a41ca5c': `Automaten-Typen`,
's8d5ca919f3cad950': `KA`,
's8da37819f40688b0': `Pop`,
's8e3f9c3e183abbda': `Vorgegebenes Alphabet`,
's8f1034e1a9d93097': `Endzustand`,
's904fefb3d01cb2ae': `leer`,
's9274cd474969c49c': `Modus wechseln (Strg+M)`,
's956c5a9fb7ee0b23': `Manuell`,
's970d041a28d1067d': `Push`,
's9d8b8aa2b404c2c8': `Einstellungen`,
's9f4a96e81b296478': `Übergänge durch Ziehen und Ablegen hinzufügen`,
'sa0a141a796a5b36a': `Biegung`,
'sa3c972a6b05ed840': `Startzustand:`,
'sa4088b649da557a5': `Automaten prüfen`,
'sa82cf626cfa888ac': `Simulationssteuerung`,
'saa415adf36e8d84f': `Endzustände:`,
'saad05eab0e59411c': `Eingabewort, z. B. aaabbb, Schritt;Schritt;Stopp`,
'sae4f7c13b7ec18ff': `Stapel`,
'sb508f35111b54817': `Hilfe anzeigen`,
'sb80ac0a010cbc647': `Automatentyp`,
'sba6693303903d6b8': `Symbol hinzufügen`,
'sc1611c0558728a2a': `Position`,
'sc16e00a7a8b2fde2': `Zurück`,
'sc725a41694d85bb0': `Testfälle`,
'scbb4cdb4d52edc80': `Testwörter`,
'scd105819b5a10243': `Weiter`,
'scfcffcf35292bc6f': `Simulieren`,
'sd083d3aa96af5af1': `Symbol`,
'sd2223afb7d6b100d': `Typ`,
'sd341bbdc948e6521': `Zustand durch Anklicken hinzufügen`,
'sd60a7dde73859828': `Beibehalten`,
'sd9ad53251f2330a5': `Stopp`,
'sdc673e73b5c13aea': `Löschen`,
'se033711991bc46ea': `DEA`,
'se6a414abec96883f': `Zustände:`,
'se9d940b50ed4b85f': `PDA-Beschriftungsstil`,
'sea4f20ea1ece70a0': `Definition`,
'sed72ab193dd16a0a': `Die Simulation wurde pausiert.`,
'sf62fea3229bf87c8': `Formale Definition anzeigen`,
'sf9aee319a006c9b4': `Hinzufügen`,
'sfb68cae41d749423': `Startzustand`,
'sfc3c36b69e4ef120': `Alphabet:`,
};