Metasymbol

См. также в других словарях:

• Metasyntax — A metasyntax describes the allowable structure and composition of phrases and sentences of a metalanguage, which is used to describe either a natural language or a computer programming language. Some of the widely used formal metalanguages for… …   Wikipedia

• Generalization (logic) — Generalization is an inference rule of predicate calculus which states that:: If vdash P(x) is true (valid) then so is vdash forall x , P(x) . Generalization can be abbreviated as GEN. The inference rule can be summarized as the sequent: P(x)… …   Wikipedia

• SDS 930 — The Scientific Data Systems SDS 930, was the first commercial computer series to use transistors (PNP).It consisted of at least three standard (30 cu. ft.) cabinets, comprising the arithmetic and logic unit, at least 8,192 words (24 bit + simple… …   Wikipedia

• LF-Parser — Ein LF Parser (englisch strong LL parser) ist ein Top Down Parser, der ausschließlich auf der Grundlage der k nächsten Eingabe Token entscheidet, zu welcher Alternative ein Nichtterminalsymbol ersetzt wird. Von einem LL Parser unterscheidet… …   Deutsch Wikipedia

• CII 10070 — Le CII 10070 a fait partie de la première série d ordinateurs de la Compagnie internationale pour l informatique, dans le cadre du Plan Calcul. En tant que matériel, il s agissait en fait d un calculateur SDS (Scientific Data Systems) Sigma 7 qui …   Wikipédia en Français

• Cii 10070 — Le CII 10070 a fait partie de la première série d ordinateurs de la Compagnie internationale pour l informatique, dans le cadre du Plan Calcul. En tant que matériel, il s agissait en fait d un calculateur SDS (Scientific Data Systems) Sigma 7 qui …   Wikipédia en Français

• Iris 80 — L ordinateur Iris 80 est l ordinateur le plus puissant réalisé par la Compagnie internationale pour l informatique (CII) dans le cadre du plan calcul. Il a notamment pris la suite du CII 10070 (SDS Sigma 7 importé des USA ou construit sous… …   Wikipédia en Français