23201 search results - page 50 / 4641 » Rewriting Systems with Data |
107
click to vote
AB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an...
144
click to vote
ACL
1989
15 years 4 months ago
1989
We propose a model for transfer in machine translation which uses a rewriting system for typed feature structures. The grammar definitions describe transfer relations which are ap...
101
Voted
FUIN
2006
15 years 3 months ago
2006
In most models of computation, a device performs some type of process, and only some final output is regarded as the result. In adding an observer to such a device, one can obtain ...
100
click to vote
FUIN
2002
15 years 3 months ago
2002
Abstract. The aim of this paper is to show how the P systems with replicated rewriting can be modeled by X-machines (also called Eilenberg machines). In the first approach, the par...
100
click to vote
ICALP
1990
Springer
15 years 7 months ago
1990
Springer
Termrewritingsystemsare importantfor computabilitytheoryof abstractdata types,for automatictheorem proving, and for the foundationsof functionalprogramming.In this shortsurveywe pr...