Transition system semantics

In this chapter, the following content will be discussed: A transition system, the interleaving model, the transitions, some important points, interleaving semantics: execute one transition at a time, interleaving semantics, busy waiting, combinatorial explosion, properties of formalisms,...

63p larachdumlanat126 31-12-2020 11 1   Download

This study deals with the concept of grammatical equivalence in Arabic-English translation. It investigates the problems that encounter student translators (STs) while translating grammatical constructions from Arabic into English. It is based on a parallel corpus of the translations of five groups of STs at the Department of English, Faculty of Arts, Taiz University, Yemen. The STs are doing their final year and by the time of the administration of the tasks, they had already studied 4 translation courses.

27p quenchua1 11-11-2019 24 1   Download

Finite-net multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, together with parallel composition, also multi-party synchronization. This calculus is equipped with a labeled transition system semantics and also with an unsafe P/T Petri net semantics, which is sound w.r.t. the transition system semantics.

20p vititan2711 13-08-2019 13 3   Download

A correct structural analysis of a discourse is a prerequisite for understanding it. This paper sketches the outline of a discourse grammar which acknowledges several different levels of structure. This gram~nar, the "Dynamic Discourse Model", uses an Augmented Transition Network parsing mechanism to build a representation of the semantics of a discourse in a stepwise fashion, from left to right, on the basis of the semantic representations of the individual clauses which constitute the discourse. ...

7p bungio_1 03-05-2013 43 3   Download

The problem of modeling human understanding and generation of a coherent dialog is investigated by simulating a conversation participant. The rule-based system currently under development attempts to capture the intuitive concept of "topic" using data structures consisting of declarative representations of the subjects under discussion linked to the utterances and rules that generated them. Scripts, goal trees, and a semantic network are brought to bear by general, domain-independent conversational rules to understand and generate coherent topic transitions and specific output utterances.

6p bungio_1 03-05-2013 36 2   Download