Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Frei
Schneller Zugriff als Browser!
 

Formale Sprache

Index Formale Sprache

Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.

73 Beziehungen: Abgeschlossenheit (algebraische Struktur), Absorbierendes Element, Abstrakte Algebra, Abstraktion, Alphabet (Informatik), Aristid Lindenmayer, Assoziativgesetz, Axel Thue, Begriffsschrift, Berechenbarkeitstheorie, C (Programmiersprache), Chomsky-Hierarchie, Compilerbau, Computersprache, Datenformat, Dezimalsystem, Elektronenmikroskop, Formale Grammatik, Formale Semantik, Formale Sprache, Formales System, Gottfried Wilhelm Leibniz, Gottlob Frege, Graph (Graphentheorie), Graphersetzungssystem, Hartmut Petzold, Heinrich Scholz (Logiker), Homomorphismus, Jeffrey Ullman, John E. Hopcroft, Kalkül, Kleenesche und positive Hülle, Kommunikation, Kommutativgesetz, Komplexitätstheorie, Konrad Zuse, Konstruierte Sprache, Kontextfreie Sprache, Kontextsensitive Sprache, Korrektheit (Informatik), Kryptoanalyse, Kryptographie, Leeres Wort, Lindenmayer-System, Logik, Mathematik, Menge (Mathematik), Mengenlehre, Monoid, Morphologie (Linguistik), ..., Morse-Folge, Natürliche Sprache, Natürliche Zahl, Neutrales Element, Noam Chomsky, Palindrom, Plankalkül, Potenzmenge, Primzahl, Programmiersprache, Reguläre Sprache, Rekursiv aufzählbare Sprache, Schlüsselwort (Programmierung), Semantik, Semi-Thue-System, Sprache, Sprachwissenschaft, Syntax, Teilmenge, Termersetzungssystem, Theoretische Informatik, Wort (theoretische Informatik), Zeichenkette. Erweitern Sie Index (23 mehr) »

Abgeschlossenheit (algebraische Struktur)

In der Mathematik, insbesondere der Algebra, versteht man unter Abgeschlossenheit einer Menge bezüglich einer Verknüpfung, dass die Verknüpfung beliebiger Elemente dieser Menge wieder ein Element der Menge ist.

Neu!!: Formale Sprache und Abgeschlossenheit (algebraische Struktur) · Mehr sehen »

Absorbierendes Element

Ein absorbierendes Element ist ein spezielles Element einer algebraischen Struktur.

Neu!!: Formale Sprache und Absorbierendes Element · Mehr sehen »

Abstrakte Algebra

Die Abstrakte Algebra ist das Teilgebiet der Mathematik, das sich mit einzelnen algebraischen Strukturen wie Gruppen, Ringen, Körpern, Moduln und nicht zuletzt den Algebren beschäftigt und deren Eigenschaften untersucht.

Neu!!: Formale Sprache und Abstrakte Algebra · Mehr sehen »

Abstraktion

Das Wort Abstraktion (‚abgezogen‘, Partizip Perfekt Passiv von abs-trahere ‚abziehen‘, ‚entfernen‘, ‚trennen‘) bezeichnet meist den induktiven Denkprozess des erforderlichen Weglassens von Einzelheiten und des Überführens auf etwas Allgemeineres oder Einfacheres.

Neu!!: Formale Sprache und Abstraktion · Mehr sehen »

Alphabet (Informatik)

In der Informatik und der mathematischen Logik ist ein Alphabet eine endliche Menge voneinander unterscheidbarer Symbole, die auch Zeichen oder Buchstaben genannt werden.

Neu!!: Formale Sprache und Alphabet (Informatik) · Mehr sehen »

Aristid Lindenmayer

Aristid Lindenmayer (* 17. November 1925 in Budapest; † 30. Oktober 1989) war ein ungarischer theoretischer Biologe.

Neu!!: Formale Sprache und Aristid Lindenmayer · Mehr sehen »

Assoziativgesetz

Bei assoziativen Verknüpfungen ist das Endergebnis dasselbe, auch wenn die Operationen in unterschiedlicher Reihenfolge ausgeführt werden. Das Assoziativgesetz, genauer die Assoziativität („vereinigen, verbinden, verknüpfen, vernetzen“), auf Deutsch Verknüpfbarkeit, ist in der Mathematik eine Eigenschaft mancher (meist zweistelligen) Verknüpfungen.

Neu!!: Formale Sprache und Assoziativgesetz · Mehr sehen »

Axel Thue

Axel Thue Axel Thue (* 19. Februar 1863 in Tønsberg, Norwegen; † 7. März 1922 in Oslo) war ein norwegischer Mathematiker, bekannt für seine Beiträge in der Kombinatorik und seine Arbeiten zur Zahlentheorie (diophantische Approximationen, Diophantische Gleichungen).

Neu!!: Formale Sprache und Axel Thue · Mehr sehen »

Begriffsschrift

Das Titelblatt der ''Begriffsschrift'' Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik.

Neu!!: Formale Sprache und Begriffsschrift · Mehr sehen »

Berechenbarkeitstheorie

Die Berechenbarkeitstheorie (auch Rekursionstheorie) ist ein Teilgebiet der theoretischen Informatik und der mathematischen Logik, die sich mit dem Begriff der Berechenbarkeit befasst, insbesondere damit, welche Probleme mit Hilfe einer Maschine (genauer: eines mathematischen Modells einer Maschine) oder eines anderen mathematischen Modells der Berechenbarkeit lösbar sind.

Neu!!: Formale Sprache und Berechenbarkeitstheorie · Mehr sehen »

C (Programmiersprache)

C ist eine imperative und prozedurale Programmiersprache, die der Informatiker Dennis Ritchie in den frühen 1970er Jahren an den Bell Laboratories entwickelte.

Neu!!: Formale Sprache und C (Programmiersprache) · Mehr sehen »

Chomsky-Hierarchie

Chomsky-Hierarchie, gelegentlich Chomsky-Schützenberger-Hierarchie (benannt nach dem Linguisten Noam Chomsky und dem Mathematiker Marcel Schützenberger), ist ein Begriff aus der theoretischen Informatik.

Neu!!: Formale Sprache und Chomsky-Hierarchie · Mehr sehen »

Compilerbau

Compilerbau, deutsch Übersetzerbau, ist eine Disziplin der Informatik, die sich mit dem Entwurf und der Programmierung von Compilern, die einen Quelltext in einen Zielcode umsetzen, beschäftigt.

Neu!!: Formale Sprache und Compilerbau · Mehr sehen »

Computersprache

Computersprachen sind formale Sprachen, die zur Interaktion zwischen Menschen und Computern entwickelt wurden.

Neu!!: Formale Sprache und Computersprache · Mehr sehen »

Datenformat

Datenformat ist ein Begriff aus der Datenverarbeitung, der festlegt, wie Daten strukturiert und dargestellt werdenInf-Schule.de Exkurs - Datenformate und wie sie bei ihrer Verarbeitung zu interpretieren sind.

Neu!!: Formale Sprache und Datenformat · Mehr sehen »

Dezimalsystem

Das Dezimalsystem (von mittellateinisch decimalis zu „zehn“) ist ein spezielles Zahlensystem, mit dem der Wert einer Zahl durch Zahlwörter und Zahlzeichen angegeben werden kann.

Neu!!: Formale Sprache und Dezimalsystem · Mehr sehen »

Elektronenmikroskop

Transmissions-elektronenmikroskop (TEM) (2005) Ein Elektronenmikroskop (früher auch Übermikroskop) ist ein Mikroskop, welches das Innere oder die Oberfläche eines Objekts mit Elektronen abbilden kann.

Neu!!: Formale Sprache und Elektronenmikroskop · Mehr sehen »

Formale Grammatik

Formale Grammatiken sind mathematische Modelle von Grammatiken, die zur eindeutigen Erzeugung und Beschreibung formaler Sprachen dienen.

Neu!!: Formale Sprache und Formale Grammatik · Mehr sehen »

Formale Semantik

Formale Semantik beschäftigt sich mit der exakten Bedeutung von Termen in künstlichen oder natürlichen Sprachen.

Neu!!: Formale Sprache und Formale Semantik · Mehr sehen »

Formale Sprache

Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.

Neu!!: Formale Sprache und Formale Sprache · Mehr sehen »

Formales System

Ein formales System ist ein System von Symbolketten und Regeln.

Neu!!: Formale Sprache und Formales System · Mehr sehen »

Gottfried Wilhelm Leibniz

Unterschrift von Gottfried Wilhelm Leibniz Alma Mater lipsiensis in den Neuen Campus der Universität Leipzig umgesetzt Gottfried Wilhelm Leibniz (* in Leipzig, Kurfürstentum Sachsen; † 14. November 1716 in Hannover, Kurfürstentum Braunschweig-Lüneburg) war ein deutscher Philosoph, Mathematiker, Jurist, Historiker und politischer Berater der frühen Aufklärung.

Neu!!: Formale Sprache und Gottfried Wilhelm Leibniz · Mehr sehen »

Gottlob Frege

Gottlob Frege (1878) Friedrich Ludwig Gottlob Frege (* 8. November 1848 in Wismar; † 26. Juli 1925 in Bad Kleinen) war ein deutscher Logiker, Mathematiker und Philosoph.

Neu!!: Formale Sprache und Gottlob Frege · Mehr sehen »

Graph (Graphentheorie)

Ein Graph ist in der Graphentheorie eine abstrakte Struktur, die eine Menge von Objekten zusammen mit den zwischen diesen Objekten bestehenden Verbindungen repräsentiert.

Neu!!: Formale Sprache und Graph (Graphentheorie) · Mehr sehen »

Graphersetzungssystem

Beispiel für Graphersetzungsregel (Optimierung aus dem Compilerbau: Multiplikation mit 2 durch Addition ersetzt) Graphersetzungssysteme dienen der formalen Beschreibung der Veränderung von Graphen.

Neu!!: Formale Sprache und Graphersetzungssystem · Mehr sehen »

Hartmut Petzold

Hartmut Petzold (* 10. Juli 1944) war Kurator für Informatik, Automatik sowie Zeitmessung am Deutschen Museum in München.

Neu!!: Formale Sprache und Hartmut Petzold · Mehr sehen »

Heinrich Scholz (Logiker)

Mathematischen Forschungsinstitut Oberwolfach Heinrich Scholz (* 17. Dezember 1884 in Berlin; † 30. Dezember 1956 in Münster, Westfalen) war ein deutscher Logiker, Philosoph und evangelischer Theologe.

Neu!!: Formale Sprache und Heinrich Scholz (Logiker) · Mehr sehen »

Homomorphismus

Als Homomorphismus (von „gleich“ und morphé „Form, Gestalt“; nicht zu verwechseln mit Homöomorphismus) werden in der Mathematik Abbildungen bezeichnet, die eine (oft algebraische) mathematische Struktur erhalten bzw.

Neu!!: Formale Sprache und Homomorphismus · Mehr sehen »

Jeffrey Ullman

Jeffrey David Ullman (* 22. November 1942 in New York City) ist ein US-amerikanischer Informatiker.

Neu!!: Formale Sprache und Jeffrey Ullman · Mehr sehen »

John E. Hopcroft

John E. Hopcroft, 2009 John Edward Hopcroft (* 7. Oktober 1939 in Seattle) ist ein amerikanischer Informatiker.

Neu!!: Formale Sprache und John E. Hopcroft · Mehr sehen »

Kalkül

Als der oder das Kalkül („Rechnung“; von „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen.

Neu!!: Formale Sprache und Kalkül · Mehr sehen »

Kleenesche und positive Hülle

Die kleenesche Hülle (auch endlicher Abschluss, Kleene-*-Abschluss, Verkettungshülle oder Sternhülle genannt) eines Alphabets \Sigma oder einer formalen Sprache L ist die Menge aller Wörter, die durch beliebige Konkatenation (Verknüpfung) von Symbolen des Alphabets \Sigma bzw.

Neu!!: Formale Sprache und Kleenesche und positive Hülle · Mehr sehen »

Kommunikation

Kommunikation ist der Austausch oder die Übertragung von Informationen, die auf verschiedene Arten (verbal, nonverbal und paraverbal) und auf verschiedenen Wegen (Sprechen, Schreiben) stattfinden kann, inzwischen auch im Wege der computervermittelten Kommunikation.

Neu!!: Formale Sprache und Kommunikation · Mehr sehen »

Kommutativgesetz

Das Kommutativgesetz, auf Deutsch Vertauschungsgesetz, ist eine Regel aus der Mathematik.

Neu!!: Formale Sprache und Kommutativgesetz · Mehr sehen »

Komplexitätstheorie

Die Komplexitätstheorie als Teilgebiet der theoretischen Informatik befasst sich mit der Komplexität algorithmisch behandelbarer Probleme auf verschiedenen formalen Rechnermodellen.

Neu!!: Formale Sprache und Komplexitätstheorie · Mehr sehen »

Konrad Zuse

zentriert Konrad Ernst Otto Zuse (* 22. Juni 1910 in Deutsch-Wilmersdorf, heute zu Berlin; † 18. Dezember 1995 in Hünfeld) war ein deutscher Bauingenieur, Erfinder und Unternehmer (Zuse KG).

Neu!!: Formale Sprache und Konrad Zuse · Mehr sehen »

Konstruierte Sprache

Konstruierte Sprachen, auch Kunstsprachen oder künstliche Sprachen, sind Sprachen, die von einer Person oder einer Gruppe aus verschiedenen Gründen und zu verschiedenen Zwecken neu entwickelt wurden.

Neu!!: Formale Sprache und Konstruierte Sprache · Mehr sehen »

Kontextfreie Sprache

In der Theoretischen Informatik ist eine kontextfreie Sprache (CFL) eine formale Sprache, die durch eine kontextfreie Grammatik beschrieben werden kann.

Neu!!: Formale Sprache und Kontextfreie Sprache · Mehr sehen »

Kontextsensitive Sprache

Die kontextsensitiven Sprachen (englisch context-sensitive languages, abgekürzt durch CSL) sind eine Klasse der formalen Sprachen, einem Teilgebiet der Theoretischen Informatik.

Neu!!: Formale Sprache und Kontextsensitive Sprache · Mehr sehen »

Korrektheit (Informatik)

Unter Korrektheit versteht man in der Informatik die Eigenschaft eines Computerprogramms, einer Spezifikation zu genügen (siehe auch Verifikation).

Neu!!: Formale Sprache und Korrektheit (Informatik) · Mehr sehen »

Kryptoanalyse

Die Kryptoanalyse (in neueren Publikationen auch Kryptanalyse) bezeichnet im ursprünglichen Sinne das Studium von Methoden und Techniken, um Informationen aus verschlüsselten Texten zu gewinnen.

Neu!!: Formale Sprache und Kryptoanalyse · Mehr sehen »

Kryptographie

Kryptographie bzw.

Neu!!: Formale Sprache und Kryptographie · Mehr sehen »

Leeres Wort

Das leere Wort ist in der Theoretischen und in der Praktischen Informatik ein Wort, das aus keinem einzigen Zeichen besteht, also die Länge 0 hat.

Neu!!: Formale Sprache und Leeres Wort · Mehr sehen »

Lindenmayer-System

Künstliche Pflanzen, die durch 3D-L-Systeme generiert wurden Bei den Lindenmayer- oder L-Systemen handelt es sich um einen mathematischen Formalismus, der 1968 von dem ungarischen theoretischen Biologen Aristid Lindenmayer als Grundlage einer axiomatischen Theorie biologischer Entwicklung vorgeschlagen wurde.

Neu!!: Formale Sprache und Lindenmayer-System · Mehr sehen »

Logik

Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.

Neu!!: Formale Sprache und Logik · Mehr sehen »

Mathematik

Die Mathematik (bundesdeutsches Hochdeutsch:,; österreichisches Hochdeutsch:; mathēmatikē téchnē ‚die Kunst des Lernens‘) ist eine Formalwissenschaft, die aus der Untersuchung von geometrischen Figuren und dem Rechnen mit Zahlen entstand.

Neu!!: Formale Sprache und Mathematik · Mehr sehen »

Menge (Mathematik)

Symbolische Darstellung einer Menge von Vielecken leer. Als Menge wird in der Mathematik ein abstraktes Objekt bezeichnet, das aus der Zusammenfassung einer Anzahl einzelner Objekte hervorgeht.

Neu!!: Formale Sprache und Menge (Mathematik) · Mehr sehen »

Mengenlehre

Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt.

Neu!!: Formale Sprache und Mengenlehre · Mehr sehen »

Monoid

In der abstrakten Algebra ist ein Monoid eine algebraische Struktur bestehend aus einer Menge mit einer klammerfrei notierbaren (assoziativen) Verknüpfung und einem neutralen Element.

Neu!!: Formale Sprache und Monoid · Mehr sehen »

Morphologie (Linguistik)

Die Morphologie (von, ‚Form‘, und de, ‚Lehre‘, ‚Vernunft‘), auch: Morphematik oder Morphemik, ist eine linguistische Teildisziplin, deren Untersuchungsobjekt das Wort als größte und das Morphem als kleinste Einheit ist.

Neu!!: Formale Sprache und Morphologie (Linguistik) · Mehr sehen »

Morse-Folge

Bildung der ersten Glieder Die Folgenglieder der Morse-Folge (auch Morse-Thue-Sequenz, Thue-Morse-Sequenz oder Prouhet-Thue-Morse-Folge genannt) sind Wörter, die aus 0 und 1 gebildet werden und wie folgt definiert sind: Das erste Folgenglied ist 0.

Neu!!: Formale Sprache und Morse-Folge · Mehr sehen »

Natürliche Sprache

Als natürliche Sprache bezeichnet man in der Sprachwissenschaft eine von Menschen gesprochene Sprache oder eine Gebärdensprache, die aus einer ungesteuerten historischen Entwicklung entstanden ist.

Neu!!: Formale Sprache und Natürliche Sprache · Mehr sehen »

Natürliche Zahl

reellen Zahlen (ℝ) sind. Die natürlichen Zahlen sind die beim Zählen verwendeten Zahlen 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 usw.

Neu!!: Formale Sprache und Natürliche Zahl · Mehr sehen »

Neutrales Element

Ein neutrales Element (auch Einheitselement) ist ein spezielles Element einer algebraischen Struktur.

Neu!!: Formale Sprache und Neutrales Element · Mehr sehen »

Noam Chomsky

Noam Chomsky, 2017 220px Avram Noam Chomsky (* 7. Dezember 1928 in Philadelphia, Pennsylvania, USA) ist ein US-amerikanischer Sprachwissenschaftler sowie politischer Publizist und Aktivist.

Neu!!: Formale Sprache und Noam Chomsky · Mehr sehen »

Palindrom

Als Palindrom („rückwärts laufend“) werden in der Sprachwissenschaft Wörter, Wortreihen oder Sätze bezeichnet, die rückwärts gelesen genau denselben Text oder zumindest einen Sinn ergeben.

Neu!!: Formale Sprache und Palindrom · Mehr sehen »

Plankalkül

Der Plankalkül ist eine von Konrad Zuse in den Jahren 1942 bis 1945 entwickelte Programmiersprache und war die erste höhere Programmiersprache der Welt.

Neu!!: Formale Sprache und Plankalkül · Mehr sehen »

Potenzmenge

Die Potenzmenge von ''x'', ''y'', ''z'', dargestellt als Hasse-Diagramm. Als Potenzmenge bezeichnet man in der Mengenlehre die Menge aller Teilmengen einer gegebenen Grundmenge.

Neu!!: Formale Sprache und Potenzmenge · Mehr sehen »

Primzahl

Natürliche Zahlen von 0 bis 100, die Primzahlen sind rot markiert Eine Primzahl (von) ist eine natürliche Zahl, die genau zwei Teiler hat (und somit größer als 1 ist).

Neu!!: Formale Sprache und Primzahl · Mehr sehen »

Programmiersprache

Quelltext eines Programms in der Programmiersprache C++. Scratch. Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d. h.

Neu!!: Formale Sprache und Programmiersprache · Mehr sehen »

Reguläre Sprache

In der theoretischen Informatik ist eine reguläre Sprache oder reguläre Menge oder erkennbare Sprache eine formale Sprache, die einigen Einschränkungen unterliegt.

Neu!!: Formale Sprache und Reguläre Sprache · Mehr sehen »

Rekursiv aufzählbare Sprache

In der theoretischen Informatik ist eine rekursiv aufzählbare Sprache (auch bekannt als semientscheidbare oder erkennbare Sprache) L dadurch definiert, dass es eine Turingmaschine gibt, die alle Wörter aus L akzeptiert, aber keine Wörter, die nicht in L liegen.

Neu!!: Formale Sprache und Rekursiv aufzählbare Sprache · Mehr sehen »

Schlüsselwort (Programmierung)

Der Begriff Schlüsselwort (englisch keyword) oder reserviertes Wort bezeichnet in einer Programmiersprache ein Wort (englisch token), das eine durch die Definition dieser Programmiersprache bestimmte Bedeutung hat, und nicht als Name von Variablen oder Funktionen verwendet werden darf.

Neu!!: Formale Sprache und Schlüsselwort (Programmierung) · Mehr sehen »

Semantik

Semantik (von), auch Bedeutungslehre genannt, ist die wissenschaftliche Beschäftigung mit Bedeutung und mit den verschiedenen Beziehungen zwischen einem Zeichen und dem Bezeichneten.

Neu!!: Formale Sprache und Semantik · Mehr sehen »

Semi-Thue-System

Semi-Thue-System (oder auch Umformungssystem, Wortersetzungssystem oder Stringersetzungssystem) ist in der Theoretischen Informatik ein Regelsystem zur Transformation von Wörtern.

Neu!!: Formale Sprache und Semi-Thue-System · Mehr sehen »

Sprache

Unter Sprache versteht man im allgemeinen Sinn alle komplexen Systeme der Kommunikation.

Neu!!: Formale Sprache und Sprache · Mehr sehen »

Sprachwissenschaft

Sprachwissenschaft, auch Linguistik (zu ‚Zunge‘, ‚Sprache‘), untersucht in verschiedenen Herangehensweisen die menschliche Sprache.

Neu!!: Formale Sprache und Sprachwissenschaft · Mehr sehen »

Syntax

Unter Syntax (von syn ‚zusammen‘ und taxis ‚Ordnung, Reihenfolge‘) versteht man allgemein ein Regelsystem zur Kombination elementarer Zeichen zu zusammengesetzten Zeichen in natürlichen oder künstlichen Zeichensystemen.

Neu!!: Formale Sprache und Syntax · Mehr sehen »

Teilmenge

Mengendiagramm: ''A'' ist eine (echte) Teilmenge von ''B''. Die mathematischen Begriffe Teilmenge und Obermenge beschreiben eine Beziehung zwischen zwei Mengen.

Neu!!: Formale Sprache und Teilmenge · Mehr sehen »

Termersetzungssystem

Die Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik.

Neu!!: Formale Sprache und Termersetzungssystem · Mehr sehen »

Theoretische Informatik

Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.

Neu!!: Formale Sprache und Theoretische Informatik · Mehr sehen »

Wort (theoretische Informatik)

In der theoretischen Informatik ist ein Wort eine endliche Folge von Symbolen eines Alphabets.

Neu!!: Formale Sprache und Wort (theoretische Informatik) · Mehr sehen »

Zeichenkette

Eine Zeichenkette, Zeichenfolge, Zeichenreihe oder ein String (aus dem Englischen) ist in der Informatik eine endliche Folge von Zeichen (z. B. Buchstaben, Ziffern, Sonderzeichen und Steuerzeichen) aus einem definierten Zeichensatz.

Neu!!: Formale Sprache und Zeichenkette · Mehr sehen »

Leitet hier um:

Formale Programmiersprache, Konkatenation (Formale Sprache), Leere Sprache, Potenz (Formale Sprache), Wortmenge.

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »