| slovo | definícia |
writing system
(encz) | writing system, n: |
writing system
(wn) | writing system
n 1: a method of representing the sounds of a language by
written or printed symbols [syn: orthography, {writing
system}] |
writing system
(foldoc) | writing system
The set of glyphs used for
representing a given human language in written form, generally
along with their conventions for use.
(1998-10-19)
|
| | podobné slovo | definícia |
graph rewriting system
(foldoc) | graph rewriting system
An extension of a term rewriting system which uses {graph
reduction} on terms represented by directed graphs to avoid
duplication of work by sharing expressions.
|
programmed graph rewriting systems
(foldoc) | PROgrammed Graph REwriting Systems
(PROGRES) A very high level language based on
graph grammars, developed by Andy Scheurr
and Albert Zuendorf
of RWTH, Aachen in
1991.
PROGRES supports structurally object-oriented specification
of attributed graph structures with multiple inheritance
hierarchies and types of types (for {parametric
polymorphism}). It also supports declarative/relational
specification of derived attributes, node sets, binary
relationships (directed edges) and Boolean constraints,
rule-oriented/visual specification of parameterised graph
rewrite rules with complex application conditions,
nondeterministic and imperative programming of composite
graph transformations (with built-in backtracking and
cancelling arbitrary sequences of failing graph
modifications).
It is used for implementing abstract data types with
graph-like internal structure, as a visual language for the
graph-oriented database GRAS, and as a rule-oriented
language for prototyping nondeterministically specified
data/rule base transformations.
PROGRES has a formally defined semantics based on
"PROgrammed Graph Rewriting Systems". It is an almost
statically typed language which additionally offers "down
casting" operators for run time checked type
casting/conversion (in order to avoid severe restrictions
concerning the language's expressiveness).
Version RWTH 5.10 includes an integrated environment.
[A. Scheurr, "Introduction to PROGRES, an Attribute Graph
Grammar Based Specification Language", in Proc WG89 Workshop
on Graphtheoretic Concepts in Computer Science", LNCS 411,
Springer 1991].
(ftp://ftp.informatik.rwth-aachen.de/pub/Unix/PROGRES/) for
Sun-4.
(1993-11-02)
|
term rewriting system
(foldoc) | term rewriting system
TRS
(TRS) A collection of rewrite rules used to transform terms
(expressions, strings in some formal language) into equivalent
terms. See reduction.
(1994-11-04)
|
|