formele taal oor Engels

formele taal

Vertalings in die woordeboek Nederlands - Engels

formal language

naamwoord

set of strings of symbols that may be constrained by rules that are specific to it

Het is een precieze specificatie met een precieze formele taal
It's a precise specification with a precise formal language

voorbeelde

Een formele taal kan worden beschreven aan de hand van een formele grammatica.
A verb can form a grammatical sentence by itself.

Onderzoek bewijst dat mensen die te graag iets willen ontkennen eerder formele taal gebruiken dan informele.
Studies show that people who are overdetermined in their denial will resort to formal rather than informal language.

Toen gebaarde ze met de bewegingen van de oeroude, formele taal: 'Deze vrouw groet de man, Manvelar.'
"Then, with the motions of the ancient formal language, she signed, ""This woman would greet the man Manvelar."""

Toen sprak hij ons toe in de formele taal die voor officiële verklaringen wordt gebruikt.
He then spoke to us in the very stilted language of formal pronouncements.

De formele taal bestaat uit alle zinnen die op deze manier gegenereerd kunnen worden.
The language consists of all the strings that can be generated in this manner.

Hij genoot altijd van de formele taal die hij tijdens de biecht gebruikte; hij voelde zich erdoor gezuiverd.
He always enjoyed the formal language he used in confession; he felt cleansed by it.

De formele taal van de Asteri ook niet.
Neither did the formal tongue of the Asteri.

Savarin legde uit dat Cascar een jongere, minder formele taal was.
Savarin explained that Cascar was a younger, less formal language.

De formele taal zei hem niets.
The formality of the language meant nothing to him.

Een "formele taal" kan dus worden gedefinieerd als een eindige aaneenschakeling A van symbolen uit een alfabet α.
A formal language can be formally defined as a set A of strings (finite sequences) on a fixed alphabet α.

Oeba vergat de formele taal te gebruiken, maar Oda begreep haar.
Uba forgot to use the formal language, but Oda understood her.

Latijn bleef zelf de formele taal van het gebied tot de derde eeuw.
Latin remained the formal language of the area until the end of the 3rd century.

Formele taal is een eindige rij van symbolen.
A formal language is a set of finite sequences of symbols.

Borric schudde even met het hoofd en antwoordde in de formele taal van het Keshische hof: 'Dingen?'
Borric shook his head to clear it and answered back in the formal court language of Kesh, ‘What skills?’

Op een onzichtbaar teken begonnen De Mog-urs als één man de gebaren van de formele taal te maken.
At an unseen signal, the mog-urs began the movements of the formal language in unison.

Een dergelijke interactieve omgeving zal worden gegenereerd uit een complete syntactische en semantische karakterisering van de te gebruiken formele taal .
SUCH AN INTERACTIVE ENVIRONMENT WILL BE GENERATED FROM A COMPLETE SYNTACTIC AND SEMANTIC CHARACTERIZATION OF THE FORMAL LANGUAGE TO BE USED .

In een databaseschema wordt de structuur van een databasesysteem beschreven in een formele taal die door het databasemanagementsysteem (DBMS) wordt ondersteund.
The database schema of a database system is its structure described in a formal language supported by the database management system (DBMS).

Een formeel systeem (ook wel logisch systeem of logische calculus genaamd) bestaat uit formele taal in combinatie met een deductief systeem.
A formal system (also called a logical calculus, or a logical system) consists of a formal language together with a deductive apparatus (also called a deductive system).

In het geval van propositie- en predicatenlogica worden de alfabetten van formele talen in twee reeksen verdeeld, de logische en niet-logische symbolen.
In the specific cases of propositional logic and predicate logic, the formal languages considered have alphabets that are divided into two sets: the logical symbols (logical constants) and the non-logical symbols.

Sommige afleidingsregels en formele talen zijn bedoeld om wiskundige redeneringen vast te leggen; de meest voorkomende voorbeelden maken gebruik van eerste-orde logica.
Some derivation rules and formal languages are intended to capture mathematical reasoning; the most common examples use first-order logic.

Een formele interpretatie van een formele taal houdt het toekennen van betekenissen aan de symbolen en waarheidswaarden aan de zinnen van het formele systeem in.
An interpretation of a formal system is the assignment of meanings to the symbols and truth-values to the sentences of the formal system.

In de logica, met name in het gebied van de bewijstheorie, beschouwt men stellingen als beweringen (de zogenaamde formules of welgevormde formules) van een formele taal.
Logic, especially in the field of proof theory, considers theorems as statements (called formulas or well formed formulas) of a formal language.

Dus deze -- en ik vind het bijna grappig, omdat ze nogal een formele taal gebruiken voor iets dat eigenlijk best wel voor de hand liggend is.
So this one -- and I actually almost find it funny, because they use such formal language for something that's actually a pretty intuitive concept.

Gellish Engels heeft een Gellish Engels woordenboek en is een formele taal die wordt gedefinieerd als een netwerk van relaties tussen begrippen en namen van begrippen.
Gellish English with its Gellish English dictionary, is a formal language that is defined as a network of relations between concepts and names of concepts.