Quelle ROOT

Sprache: Text

chapter AFP

session Context_Free_Grammar = Finite_Automata_HF +
  options [timeout=300]
  sessions
    "HOL-Library"
    List_Power
    Fresh_Identifiers
  theories
    Context_Free_Grammar
    Parse_Tree
    Context_Free_Language
    Expansion
    Replace_Terminals
    Chomsky_Normal_Form
    Pumping_Lemma_CFG
    AnBnCn_not_CFL
    CFL_Not_Intersection_Closed
    Right_Linear
    Right_Linear_Automata
    Pumping_Lemma_Regular
    AnBn_Not_Regular
  document_files
    "root.tex"
    "root.bib"

¤ Dauer der Verarbeitung: 0.2 Sekunden ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.