Snellere toegang dan browser!
23 relaties: Alfabet, Alternerende eindige automaat, Berekenbaarheid, Chomskyhiërarchie, Dana Scott, Engels, Formele taal, Functie (wiskunde), Grafentheorie, Inductie (wiskunde), Informatica, Machtsverzameling, Michael Rabin (informaticus), Ontwerppatroon, Petrinet, Reguliere expressie, Reguliere grammatica, Reguliere taal, State (ontwerppatroon), Symbool, Turingmachine, Verzameling (wiskunde), Wiskunde.
Alfabet
Vaticaan, 8e eeuw. Een alfabet (meervoud: alfabetten) of alfabetisch schrift is een verzameling symbolen om equivalenten van klanken in de gesproken taal schriftelijk weer te geven.
Nieuw!!: Eindigetoestandsautomaat en Alfabet · Bekijk meer »
Alternerende eindige automaat
In de theoretische informatica is een alternerende eindige automaat een variant op een eindige automaat.
Nieuw!!: Eindigetoestandsautomaat en Alternerende eindige automaat · Bekijk meer »
Berekenbaarheid
In de complexiteitstheorie is berekenbaarheid een eigenschap van functies.
Nieuw!!: Eindigetoestandsautomaat en Berekenbaarheid · Bekijk meer »
Chomskyhiërarchie
De chomskyhiërarchie is een indeling in klassen van de formele talen naar het type formele grammatica dat alle talen binnen een bepaalde klasse kan genereren.
Nieuw!!: Eindigetoestandsautomaat en Chomskyhiërarchie · Bekijk meer »
Dana Scott
Dana Stewart Scott (11 oktober 1932) is een Amerikaans emeritus hoogleraar, die onderzoek verricht heeft in de informatica, wiskunde en wijsbegeerte.
Nieuw!!: Eindigetoestandsautomaat en Dana Scott · Bekijk meer »
Engels
Het Engels (English) is een Indo-Europese taal, die vanwege de nauwe verwantschap met talen als het Fries, (Neder-)Duits en Nederlands tot de West-Germaanse talen wordt gerekend.
Nieuw!!: Eindigetoestandsautomaat en Engels · Bekijk meer »
Formele taal
De term formele taal heeft ten minste drie verwante betekenissen.
Nieuw!!: Eindigetoestandsautomaat en Formele taal · Bekijk meer »
Functie (wiskunde)
Grafiek van de functie f(x).
Nieuw!!: Eindigetoestandsautomaat en Functie (wiskunde) · Bekijk meer »
Grafentheorie
Enkelvoudige graaf met zes knopen De grafentheorie is een deelgebied van de wiskunde dat de eigenschappen van grafen bestudeert.
Nieuw!!: Eindigetoestandsautomaat en Grafentheorie · Bekijk meer »
Inductie (wiskunde)
Een formele beschrijving van wiskundige inductie kan worden geïllustreerd aan de hand van het in de tijd volgordelijke domino-effect. In de wiskunde verstaat men onder inductie een verzameling bewijstechnieken om te laten zien dat een uitspraak geldt voor alle elementen van een verzameling door gebruik te maken van de onderliggende structuur van de verzameling.
Nieuw!!: Eindigetoestandsautomaat en Inductie (wiskunde) · Bekijk meer »
Informatica
Informatica richt zich op de theoretische grondslagen van informatie, de mechanische (automatische) verzameling en verwerking ervan, evenals de praktische toepassingen die eruit voortvloeien.
Nieuw!!: Eindigetoestandsautomaat en Informatica · Bekijk meer »
Machtsverzameling
De machtsverzameling van een verzameling S, aangegeven door \mathcal(S) of 2^S, is de verzameling van alle deelverzamelingen van S. Het symbool \mathcal staat voor 'power', het Engelse woord voor 'macht'.
Nieuw!!: Eindigetoestandsautomaat en Machtsverzameling · Bekijk meer »
Michael Rabin (informaticus)
Michael Rabin Michael Oser Rabin (Breslau (Duitsland), 1 september 1931) is een Israëlisch informaticus en ontvanger van de Turing Award.
Nieuw!!: Eindigetoestandsautomaat en Michael Rabin (informaticus) · Bekijk meer »
Ontwerppatroon
Een ontwerppatroon of patroon (Engels: design pattern) in de informatica is een generiek opgezette softwarestructuur, die een bepaald veelvoorkomend type software-ontwerpprobleem oplost.
Nieuw!!: Eindigetoestandsautomaat en Ontwerppatroon · Bekijk meer »
Petrinet
(a) Een petrinet Petrinetten of P/T-netten zijn een wiskundige modelleertaal die in de informatica wordt gebruikt om gedistribueerde of anderszins parallelle processen te modelleren.
Nieuw!!: Eindigetoestandsautomaat en Petrinet · Bekijk meer »
Reguliere expressie
Regex-icoon Een reguliere expressie (uit het Engels, regular expression, afgekort tot “regexp”, “regex” of RE) is een manier om patronen te beschrijven waardoor een computer softwarematig tekst kan herkennen.
Nieuw!!: Eindigetoestandsautomaat en Reguliere expressie · Bekijk meer »
Reguliere grammatica
Een reguliere grammatica is een formele grammatica (N, Σ, P, S) waarbij de productieregels aan een bepaalde vorm voldoen.
Nieuw!!: Eindigetoestandsautomaat en Reguliere grammatica · Bekijk meer »
Reguliere taal
De reguliere talen vormen een klasse van formele talen.
Nieuw!!: Eindigetoestandsautomaat en Reguliere taal · Bekijk meer »
State (ontwerppatroon)
UML-diagram van het ''State''-patroon. State (Engels, 'toestand') is een ontwerppatroon in de object-georiënteerde softwareontwikkeling.
Nieuw!!: Eindigetoestandsautomaat en State (ontwerppatroon) · Bekijk meer »
Symbool
Symbolen op een grafsteen Symbolen op een speelkaart Een symbool of zinnebeeld is een teken waarbij geen natuurlijke relatie bestaat tussen de representatie van het teken en de betekenis die ermee wordt uitgedrukt.
Nieuw!!: Eindigetoestandsautomaat en Symbool · Bekijk meer »
Turingmachine
In de informatica is de turingmachine een model van berekening en berekenbaarheid, ontwikkeld door de wiskundige Alan M. Turing in zijn beroemde artikel On computable numbers, with an application to the Entscheidungsproblem uit 1936-37.
Nieuw!!: Eindigetoestandsautomaat en Turingmachine · Bekijk meer »
Verzameling (wiskunde)
Venndiagram van de doorsnede A\cap B van twee verzamelingen A en B In de wiskunde is een verzameling een abstract object dat het totaal voorstelt van verschillende objecten, die elementen van de verzameling genoemd worden.
Nieuw!!: Eindigetoestandsautomaat en Verzameling (wiskunde) · Bekijk meer »
Wiskunde
Wiskunde (minder gebruikelijk: mathematiek, mathematica of mathesis) is een formele wetenschap die onder andere getallen, patronen en abstracte structuren bestudeert.
Nieuw!!: Eindigetoestandsautomaat en Wiskunde · Bekijk meer »
Richt hier:
Automaat (informatica), Eindige automaat, Eindige toestandsautomaat, Eindige toestandsmachine, Finite State Machine, Finite state machine, Finite-state machine.
