44 relaties: Algebra, Associativiteit (wiskunde), Binair talstelsel, BNF (metataal), Chomskyhiërarchie, Commutativiteit, Computer, Computertaal, Computervertaling, Concatenatie, Contextgevoelige grammatica, Contextvrije grammatica, Decimaal, Eindigetoestandsautomaat, Formalisme (wiskunde), Formele grammatica, Gellish Nederlands, Grammaticaliteit, Grondslagen van de wiskunde, Informatica, Latijns schrift, Logica, Mathematische taalkunde, Modelleertaal, Monoïde, Natuurlijk getal, Natuurlijke taal, Noam Chomsky, Octaal talstelsel, Oneindigheid, Predicatenlogica, Programmeertaal, Reguliere grammatica, Semantiek, Stapelautomaat, Syntaxis (taalkunde), Taalkunde, Talstelsel, Theoretische informatica, Turingmachine, Van Wijngaardengrammatica, Verzameling (wiskunde), Wiskunde, Wiskundige logica.
Algebra
Algebra is de tak van de wiskunde die de betrekkingen van door letters en tekens aangeduide grootheden onderzoekt.
Nieuw!!: Formele taal en Algebra · Bekijk meer »
Associativiteit (wiskunde)
In de wiskunde is associativiteit een eigenschap van een binaire operatie.
Nieuw!!: Formele taal en Associativiteit (wiskunde) · Bekijk meer »
Binair talstelsel
Het binaire talstelsel of tweetallig talstelsel is een positiestelsel, waarin een getal wordt voorgesteld door een rijtje van de cijfers 0 en 1.
Nieuw!!: Formele taal en Binair talstelsel · Bekijk meer »
BNF (metataal)
BNF (Backus-Naur form) is een notatie voor contextvrije grammatica's, een metataal om de structuur van talen te beschrijven met productieregels.
Nieuw!!: Formele taal en BNF (metataal) · 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!!: Formele taal en Chomskyhiërarchie · Bekijk meer »
Commutativiteit
Commutativiteit is een begrip in de wiskunde en heeft betrekking op de symmetrie tussen twee operanden van een binaire operatie.
Nieuw!!: Formele taal en Commutativiteit · Bekijk meer »
Computer
Apple II, een van de eerste personal computers Een computer is een apparaat waarmee gegevens volgens formele procedures (algoritmen) kunnen worden verwerkt.
Nieuw!!: Formele taal en Computer · Bekijk meer »
Computertaal
Computertaal is een verzamelnaam voor alle kunstmatige talen die door mensen wordt gebruikt in de omgang met computers.
Nieuw!!: Formele taal en Computertaal · Bekijk meer »
Computervertaling
Computervertaling (in het Engels: machine translation of MT) is een deelgebied van de computationele taalkunde waar het gebruik van software wordt onderzocht om tekst of spraak van de ene taal naar de andere te vertalen.
Nieuw!!: Formele taal en Computervertaling · Bekijk meer »
Concatenatie
Concatenatie is een standaardoperatie in programmeertalen (een deelverzameling van formele talen) om twee strings (tekenreeksen) aan elkaar te koppelen.
Nieuw!!: Formele taal en Concatenatie · Bekijk meer »
Contextgevoelige grammatica
Een contextgevoelige grammatica, soms ook contextsensitieve grammatica genoemd, is een formele grammatica waarin voor alle productieregels geldt dat de lengte van het linker deel kleiner of gelijk is aan de lengte van het rechter deel.
Nieuw!!: Formele taal en Contextgevoelige grammatica · Bekijk meer »
Contextvrije grammatica
Een contextvrije grammatica is een formele grammatica waarbij alle productieregels de volgende vorm hebben: waarbij V een niet-terminaal symbool is en w een string, die mogelijk leeg is, met terminale en niet-terminale symbolen.
Nieuw!!: Formele taal en Contextvrije grammatica · Bekijk meer »
Decimaal
Het woord decimaal is afkomstig van het Latijnse decima, tiendelig, afgeleid van decem, tien.
Nieuw!!: Formele taal en Decimaal · Bekijk meer »
Eindigetoestandsautomaat
Een deterministische eindige automaat Een eindigetoestandsautomaat (in het Engels: finite-state automaton, veelal afgekort tot FA, of finite-state machine, afgekort tot FSM) is een abstract, wiskundig model voor het gedrag van een systeem waarbij het model bestaat uit een eindig aantal toestanden, overgangen tussen die toestanden en acties.
Nieuw!!: Formele taal en Eindigetoestandsautomaat · Bekijk meer »
Formalisme (wiskunde)
In de grondslagen--, de filosofie van de wiskunde, en de filosofie van de logica is het formalisme een theorie, die het geven van enige betekenis van wiskundige symbolen, zowel objectief (zoals voorgesteld in het platonisme), als subjectief (zoals voorgesteld in het intuïtionisme) veroordeelt.
Nieuw!!: Formele taal en Formalisme (wiskunde) · Bekijk meer »
Formele grammatica
Een formele grammatica is in de informatica en theoretische taalkunde een beschrijving van een formele taal, een verzameling strings (in deze context ook zinnen genoemd) in een bepaald alfabet.
Nieuw!!: Formele taal en Formele grammatica · Bekijk meer »
Gellish Nederlands
Gellish Formeel Nederlands is de Nederlandse variant van Gellish, een kunstmatige taal of declaratieve taal voor het modelleren van kennis, vereisten en informatie in gegevensbanken (databases) en als gemeenschappelijke taal voor de eenduidige uitwisseling van gegevens tussen computers.
Nieuw!!: Formele taal en Gellish Nederlands · Bekijk meer »
Grammaticaliteit
Grammaticaliteit (het tegenovergestelde is ongrammaticaliteit of agrammaticaliteit) is een begrip dat op taaluitingen wordt toegepast om aan te geven in hoeverre ze in grammaticaal opzicht aanvaardbaar zijn.
Nieuw!!: Formele taal en Grammaticaliteit · Bekijk meer »
Grondslagen van de wiskunde
Grondslagen van de wiskunde zijn de aannames, de grondbeginselen en de uitgangspunten van de wiskunde.
Nieuw!!: Formele taal en Grondslagen van de 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!!: Formele taal en Informatica · Bekijk meer »
Latijns schrift
Het Latijns schriftEncarta-encyclopedie Winkler Prins (1993–2002) s.v. "cyrillisch schrift".
Nieuw!!: Formele taal en Latijns schrift · Bekijk meer »
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Nieuw!!: Formele taal en Logica · Bekijk meer »
Mathematische taalkunde
Mathematische taalkunde is een tak van de toegepaste taalkunde die wiskundige eigenschappen van natuurlijke taal bestudeert, vooral door algebraïsche, logische en statistische methoden toe te passen bij het bestuderen van vorm (syntaxis) en betekenis (semantiek) van natuurlijke taal.
Nieuw!!: Formele taal en Mathematische taalkunde · Bekijk meer »
Modelleertaal
Een modelleertaal is een kunstmatige formele taal, die gebruikt kan worden om definities van begrippen en informatie, kennis en/of vereisten over producten, systemen en/of processen weer te geven.
Nieuw!!: Formele taal en Modelleertaal · Bekijk meer »
Monoïde
associatief In de abstracte algebra, een deelgebied van de wiskunde, is een monoïde een algebraïsche structuur die bestaat uit een verzameling die is uitgerust met een enkele associatieve binaire operatie en een neutraal element, ook wel eenheids- of identiteitselement genoemd.
Nieuw!!: Formele taal en Monoïde · Bekijk meer »
Natuurlijk getal
Een natuurlijk getal is een getal dat het resultaat is van een telling van een eindig aantal dingen, dus een van de getallen 0,1,2,3,4,5,\ldots De verzameling natuurlijke getallen wordt aangegeven met het symbool \N.
Nieuw!!: Formele taal en Natuurlijk getal · Bekijk meer »
Natuurlijke taal
Een natuurlijke taal of etnische taal is in de taalfilosofie elke levende of dode taal die door een aantal mensen als hun moedertaal wordt of werd beschouwd.
Nieuw!!: Formele taal en Natuurlijke taal · Bekijk meer »
Noam Chomsky
Avram Noam Chomsky (Philadelphia (Pennsylvania), 7 december 1928) is een Amerikaans taalkundige, filosoof, mediacriticus en politiek activist.
Nieuw!!: Formele taal en Noam Chomsky · Bekijk meer »
Octaal talstelsel
Het octale talstelsel werkt met het grondtal 8 en niet zoals het decimale met het grondtal 10.
Nieuw!!: Formele taal en Octaal talstelsel · Bekijk meer »
Oneindigheid
115px Oneindigheid staat in de betekenis van niet-eindig tegenover het begrip eindig.
Nieuw!!: Formele taal en Oneindigheid · Bekijk meer »
Predicatenlogica
Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.
Nieuw!!: Formele taal en Predicatenlogica · Bekijk meer »
Programmeertaal
Python. Een programmeertaal is een formele taal waarin de opdrachten die een computer moet uitvoeren, worden geschreven.
Nieuw!!: Formele taal en Programmeertaal · Bekijk meer »
Reguliere grammatica
Een reguliere grammatica is een formele grammatica (N, Σ, P, S) waarbij de productieregels aan een bepaalde vorm voldoen.
Nieuw!!: Formele taal en Reguliere grammatica · Bekijk meer »
Semantiek
De semantiek of betekenisleer is een wetenschap die zich bezighoudt met de betekenis van symbolen, waarbij het in het bijzonder de bouwstenen van natuurlijke talen die voor de communicatie dienen ofwel woorden en zinnen betreft.
Nieuw!!: Formele taal en Semantiek · Bekijk meer »
Stapelautomaat
Een stapelautomaat Een stapelautomaat, ofwel een push-down-automaat (PDA), is een eindige automaat die gebruikmaakt van een stack.
Nieuw!!: Formele taal en Stapelautomaat · Bekijk meer »
Syntaxis (taalkunde)
Syntaxis (van het Oudgriekse συν- syn-, "samen", en τάξις táxis, "regeling"), ook vaak zinsleer genoemd, is een deelgebied binnen de theoretische taalkunde dat in ruime zin de studie omvat van alles wat met de opbouw en structuur van zinsdelen en zinnen te maken heeft, ofwel van de zinsbouw.
Nieuw!!: Formele taal en Syntaxis (taalkunde) · Bekijk meer »
Taalkunde
Taalkunde, ook wel taalwetenschap of linguïstiek, is de wetenschappelijke studie van de natuurlijke talen.
Nieuw!!: Formele taal en Taalkunde · Bekijk meer »
Talstelsel
Een talstelsel, getallenstelsel of getallensysteem is een wiskundig systeem om getallen voor te stellen.
Nieuw!!: Formele taal en Talstelsel · Bekijk meer »
Theoretische informatica
De theoretische informatica is het vakgebied binnen de informatica dat de logische en wiskundige grondslagen van de informatica bestudeert.
Nieuw!!: Formele taal en Theoretische informatica · 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!!: Formele taal en Turingmachine · Bekijk meer »
Van Wijngaardengrammatica
De Van Wijngaarden-grammatica, ook wel W-grammatica genoemd, is een formalisme voor de definitie van de syntaxis van een formele taal, ontwikkeld en gebruikt door Adriaan van Wijngaarden bij het definiëren van de programmeertaal Algol 68.
Nieuw!!: Formele taal en Van Wijngaardengrammatica · 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!!: Formele taal 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!!: Formele taal en Wiskunde · Bekijk meer »
Wiskundige logica
De wiskundige logica is een deelgebied van de wiskunde.
Nieuw!!: Formele taal en Wiskundige logica · Bekijk meer »