Formal languages

Die algorithmische Lerntheorie ist ein mathematischer Rahmen zur Analyse von Problemen und Algorithmen des maschinellen Lernens . Synonyme sind formale Lerntheorie und algorithmische induktive Inferenz .

In computer science, Backus–Naur form or Pāṇini–Backus Form (BNF or PBF, pronounced /ˌbækəsˈnaʊər/), also known as Backus normal form, is a notation system for defining the syntax of programming languages and other

Ein Beweis ist ein ausreichender Beleg oder ein ausreichendes Argument für die Wahrheit einer Aussage .

Ein Bigramm oder Digramm ist eine Folge von zwei benachbarten Elementen einer Zeichenkette , die typischerweise aus Buchstaben , Silben oder Wörtern besteht. Ein Bigramm ist ein n -Gramm für n = 2.

Die Compiler Description Language (CDL) ist eine Programmiersprache, die auf Affixgrammatiken basiert . Sie ähnelt stark der Backus-Naur-Form (BNF). Sie wurde für die Entwicklung von Compilern konzipiert .

In der mathematischen Notation für Zahlen ist eine Vorzeichenzifferndarstellung ein Stellenwertsystem mit einer Menge von Vorzeichenziffern , die zur Kodierung der ganzen Zahlen verwendet werden .

diff`diff` ist ein Shell- Befehl , der den Inhalt von Dateien vergleicht und Unterschiede meldet. Der Begriff ` diff` wird auch verwendet, um die Ausgabe des Befehls zu bezeichnen und dient als Verb für dessen Ausführung.

In der Theorie formaler Sprachen der Informatik , Mathematik und Linguistik ist ein Dyck-Wort eine balancierte Klammerfolge . Die Menge der Dyck-Wörter bildet eine Dyck-Sprache .

In der Theorie des maschinellen Lernens bezeichnet die Induktion regulärer Sprachen die Aufgabe, eine formale Beschreibung (z. B.

In der Informatik ist die erweiterte Backus-Naur-Form ( ABNF ) eine Metasprache, die auf der Backus-Naur-Form (BNF) basiert, aber über eine eigene Syntax und eigene Ableitungsregeln verfügt.

In der abstrakten Algebra ist das freie Monoid über einer Menge dasjenige Monoid , dessen Elemente alle endlichen Folgen (oder Zeichenketten) mit null oder mehr Elementen dieser Menge sind.

In der theoretischen Informatik und mathematischen Logik ist ein String-Rewriting-System ( SRS ), historisch auch als Semi-Thue-System bezeichnet, ein Rewriting- System für Strings aus einem (üblicherweise endlichen )

Indexierte Sprachen sind eine Klasse formaler Sprachen, die von Alfred Aho entdeckt wurden ; sie werden durch indizierte Grammatiken beschrieben und können durch verschachtelte Stapelautomaten erkannt werden .

Die DLT ( International Conference on Developments in Language Theory) ist eine jährlich stattfindende wissenschaftliche Konferenz im Bereich der Informatik unter der Schirmherrschaft der Europäischen Gesellschaft für

In der Theorie formaler Sprachen bezeichnet man als Kegel eine Menge formaler Sprachen , die bestimmte wünschenswerte Abschlusseigenschaften aufweist, wie sie auch für einige bekannte Sprachmengen gelten, insbesondere

In der Theorie formaler Sprachen bezeichnet der Kleene-Stern (oder Kleene-Operator oder Kleene-Abschluss ) zwei verwandte unäre Operationen , die entweder auf ein Alphabet von Symbolen oder auf eine formale Sprache ,

In der Theorie formaler Sprachen ist eine kontextfreie Grammatik ( CFG ) eine formale Grammatik , deren Produktionsregeln unabhängig vom Kontext auf ein Nichtterminalsymbol angewendet werden können .

In der Theorie formaler Sprachen ist eine kontextfreie Sprache ( CFL ), auch Chomsky -Typ-2-Sprache genannt , eine Sprache , die durch eine kontextfreie Grammatik (CFG) erzeugt wird.

In der Theorie formaler Sprachen bezeichnet man als kontextsensitive Sprache eine formale Sprache , die durch eine kontextsensitive Grammatik definiert werden kann .

In der formalen Sprachtheorie befindet sich eine nichtkontrahierende Grammatik in Kuroda-Normalform , wenn alle Produktionsregeln die Form haben:

In der Informatik zielt das Problem der längsten aufsteigenden Teilfolge darauf ab, eine möglichst lange Teilfolge einer gegebenen Folge zu finden , deren Elemente aufsteigend sortiert sind.

In der formalen Sprachtheorie ist die leere Zeichenkette , auch bekannt als leeres Wort oder Nullzeichenkette , die einzige Zeichenkette der Länge Null.

In der Informatik bezeichnet man als maximales Paar innerhalb einer Zeichenkette ein Paar übereinstimmender Teilzeichenketten, die maximal sind.

Ein Metazeichen ist ein Zeichen mit einer besonderen Bedeutung für ein Computerprogramm, beispielsweise einen Shell-Interpreter oder eine Regex -Engine.

In der theoretischen Informatik ist die Suche nach der nächsten Zeichenkette ein NP-schweres Rechenproblem , bei dem es darum geht, das geometrische Zentrum einer Menge von Eingabezeichenketten zu finden.

Die Parser Grammar Engine ( PGE , ursprünglich Parrot Grammar Engine ) ist ein Compiler und ein Laufzeitsystem für Raku-Regeln der eingestellten virtuellen Maschine Parrot .

Ein postkanonisches System , auch Postproduktionssystem genannt , wurde von Emil Post entwickelt und ist ein System zur Manipulation von Zeichenketten.

In der theoretischen Informatik und der Theorie formaler Sprachen ist eine formale Sprache leer , wenn ihre Menge gültiger Sätze die leere Menge ist .

In der Informatik ist eine Produktionsregel eine Umschreibungsregel , die bestimmte Symbole durch andere ersetzt.

In der Informatik , insbesondere in der Theorie formaler Sprachen , ist das Pumping-Lemma für kontextfreie Sprachen , auch bekannt als Bar-Hillel -Lemma , ein Lemma , das eine allen kontextfreien Sprachen gemeinsame

In der theoretischen Informatik und der Theorie formaler Sprachen ist eine reguläre Baumgrammatik eine formale Grammatik , die eine Menge gerichteter Bäume oder Terme beschreibt .

In Mathematik , Logik und Informatik heißt eine formale Sprache rekursiv aufzählbar (auch erkennbar , partiell entscheidbar , semientscheidbar , Turing-akzeptabel oder Turing-erkennbar ), wenn sie eine rekursiv

In Mathematik , Logik und Informatik ist eine rekursive (oder entscheidbare ) Sprache eine rekursive Teilmenge des Kleene-Abschlusses eines Alphabets .

Eine semantische Kodierung ist eine Übersetzung zwischen formalen Sprachen . Für Programmierer ist die bekannteste Form der Kodierung die Kompilierung einer Programmiersprache in Maschinencode oder Bytecode .

In der Programmierung ist ein String traditionell eine Folge von Zeichen , entweder als Literal oder als Variable .

In der Informatik , insbesondere in der Theorie formaler Sprachen , werden häufig verschiedene Stringfunktionen verwendet .

In Mathematik und Informatik ist das syntaktische Monoid einer formalen Sprache das minimale Monoid , das die Sprache erkennt .

Eine Turingmaschine ist ein mathematisches Berechnungsmodell, das eine abstrakte Maschine beschreibt , die Symbole auf einem Band gemäß einer Regeltabelle manipuliert.

In Mathematik , Linguistik , Informatik und Logik umfasst das Umschreiben eine Vielzahl von Methoden, um Unterterme einer Formel durch andere Terme zu ersetzen .

In der Informatik ist eine Van-Wijngaarden-Grammatik (auch vW-Grammatik oder W-Grammatik ) ein Formalismus zur Definition formaler Sprachen .

In der formalen Sprachtheorie und der Programmierung bezeichnet Konkatenation das Aneinanderreihen von Objekten wie Zeichenketten , Dateien , Listen oder Audio- bzw. Videosequenzen .

In der Informatik , insbesondere in der Automatentheorie und der Theorie formaler Sprachen , sind verschachtelte Wörter ein von Alur und Madhusudan eingeführtes Konzept.

WFF 'N PROOF ist ein Spiel der modernen Logik , das entwickelt wurde, um Prinzipien der symbolischen Logik zu lehren . Es wurde 1962 von Layman E.