Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Pre_Star_CFG/     Datei vom 29.4.2026 mit Größe 245 B image not shown  

Quelle  ROOT

  Sprache: Text
 

chapter AFP

session Pre_Star_CFG = Context_Free_Grammar +
  options [timeout=300]
  theories
    Pre_Star
    Pre_Star_Example
    Applications
    Applications_Example
    Finiteness
    Pre_Star_CNF
  document_files
    root.bib
    root.tex

¤ Dauer der Verarbeitung: 0.7 Sekunden  (vorverarbeitet am  2026-06-13) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen



NIST Cobol Testsuite



Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.