UNPKG

@webwriter/automaton

Version:

Build, visualize, and interact with different kinds of automata (DFA, NFA, PDA).

132 lines (126 loc) 4.78 kB
// 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>Automatul <sl-badge variant="success">acceptă </sl-badge> cuvântul <b>${0}</b>. </span> `, 'h28031e78bb7297a9': html` <span>Automatul <sl-badge variant="danger">respinge </sl-badge> cuvântul <b>${0}</b>. </span> `, 'h2e7f32ac617924d0': html`Lipsește tranziția pentru <b>${0}</b> `, 'h5130af20b6d54f05': html`Tranziții multiple pentru <b>${0}</b> `, 'h56d667fd1fb9d47d': html`Vă rugăm să corectați următoarele <sl-badge variant="danger">erori </sl-badge> pentru a rula simularea: `, 'h6c2fe3d409d7ba36': html`Nu s-a găsit nicio cale validă. Automatul <sl-badge variant="danger">respinge </sl-badge> cuvântul <b>${0}</b>. `, 's033b7cf13e11023b': `Tranziții:`, 's05c44a5db696fcaf': `Editare`, 's061cc20e3432dead': `Pauză`, 's09243007b5b91006': `Dacă`, 's09318db807188948': `Adăugați Sinkstate`, 's09c6c5bc21d0e1f0': `Pentru a edita un nod, faceți clic dreapta pe nod`, 's0fbf6dc6a1966408': `Următorul`, 's11b075d3731a5194': `Adăugați nod (Ctrl+Q)`, 's1b00cf75d5f4f616': `Alegeți o mișcare:`, 's1b5a859826f8be7d': `Verbose`, 's1c2404542b3e48d9': `Transformări`, 's21b06c38fc4164db': `Avansat`, 's255857544a9d5ec0': `Resetare`, 's261af1b4598fef3f': `Moduri permise`, 's2ea31ea953b32ee5': `Tranziție cu simbol gol`, 's2f64461723d3df5d': `Schimbare`, 's3050764b15c8baf0': `Afișați tabelul de tranziții`, 's335050fdf97d8f6e': `Nu este definită nicio stare inițială`, 's337a1e9022a8d19f': `Tabel`, 's352719d86112de9a': `Ajutor`, 's35f1dd3fd023476a': `Automatizare`, 's36494e700fe1e5c6': `Pas cu pas`, 's36dfd719c2d7c63c': `NFA`, 's3c0d17bad169557b': `niciunul`, 's3de7bee91528e5cc': `Acțiuni pe stivă`, 's3e141c08e0ace321': `Limba de testare`, 's42b6431842b835b3': `Limba:`, 's42cbd8dca939a9c7': `Verificare`, 's4b10acae683d2978': `Ecran complet`, 's4f6476c3d1856c19': `Nu sunt posibile alte mișcări. Încercați o altă cale.`, 's5590dbf7e425789d': `Etichetă`, 's568f5722bc79d077': `Sinktate`, 's5787e20cab57b383': `Eroare necunoscută`, 's61f0ff0bab2b8310': `Animați`, 's64ef2a6c2dd1d3d1': `Editare`, 's6503256c2de2745c': `Marginea`, 's66bd1cc6d2f6b68d': `Nod`, 's66da3efd9a45b25a': `Verificare gol`, 's6a7a6503441d48ee': `Pentru a edita o tranziție, faceți clic dreapta pe tranziție`, 's6c80030e2762459d': `împingere`, 's6ea31a50ccf59dcf': `Adăugați margine (Ctrl+E)`, 's71813a5a8d63ac81': `Cuvânt de intrare`, 's74a96f52fd23c3e8': `Mai multe stări inițiale definite`, 's779b5819564f2f50': `pop`, 's78bc8524e7c2d052': `Chiuveta`, 's7b72a2e6d7ff3291': `Mutați elementele prin glisare și fixare`, 's7df224ba56fb8e1e': `Comutator de mod`, 's7f59f507e02a2f38': `Vizualizare`, 's860b83fc8a41ca5c': `Tipuri de automate`, 's8d5ca919f3cad950': `PDA`, 's8da37819f40688b0': `Pop`, 's8e3f9c3e183abbda': `Alfabet predefinit`, 's8f1034e1a9d93097': `Final`, 's904fefb3d01cb2ae': `gol`, 's9274cd474969c49c': `Schimbarea modului (Ctrl+M)`, 's956c5a9fb7ee0b23': `Manual`, 's970d041a28d1067d': `Împingeți`, 's9d8b8aa2b404c2c8': `Setări`, 's9f4a96e81b296478': `Adăugați tranziția prin glisare și fixare`, 'sa0a141a796a5b36a': `Îndoire`, 'sa3c972a6b05ed840': `Starea inițială:`, 'sa4088b649da557a5': `Automat de verificare`, 'sa82cf626cfa888ac': `Comenzi de simulare`, 'saa415adf36e8d84f': `Statele finale:`, 'saad05eab0e59411c': `Cuvânt de intrare, de exemplu aaabbb, pas; pas; stop`, 'sae4f7c13b7ec18ff': `Stivă`, 'sb508f35111b54817': `Arată ajutor`, 'sb80ac0a010cbc647': `Tip automat`, 'sba6693303903d6b8': `Adăugați simbolul`, 'sc1611c0558728a2a': `Poziția`, 'sc16e00a7a8b2fde2': `Înapoi`, 'sc725a41694d85bb0': `Cazuri de testare`, 'scbb4cdb4d52edc80': `Cuvinte de test`, 'scd105819b5a10243': `Joc`, 'scfcffcf35292bc6f': `Simulați`, 'sd083d3aa96af5af1': `Simbol`, 'sd2223afb7d6b100d': `Tip`, 'sd341bbdc948e6521': `Adăugați nod prin clic`, 'sd60a7dde73859828': `Păstrați`, 'sd9ad53251f2330a5': `Oprire`, 'sdc673e73b5c13aea': `Ștergeți`, 'se033711991bc46ea': `DFA`, 'se6a414abec96883f': `State:`, 'se9d940b50ed4b85f': `Stilul etichetei PDA`, 'sea4f20ea1ece70a0': `Definiție`, 'sed72ab193dd16a0a': `Simulația a făcut o pauză.`, 'sf62fea3229bf87c8': `Afișați definiția formală`, 'sf9aee319a006c9b4': `Adaugă`, 'sfb68cae41d749423': `Inițial`, 'sfc3c36b69e4ef120': `Alfabet:`, };