On the Use of Programmed Automata for a Verification of ECG Diagnoses

DPAR grammars for ECG diagnosis justification

“…In this paper we have presented the enhanced DPAR grammar which initially was designed as PAR grammar in [4] and then developed into first version of DPAR grammar in [5]. We have also described its detailed formal model along with its power properties.…”

“…In this chapter we introduce the formal model of DPAR grammars. At the beginning let us define a programmed attributed regular grammar, PAR grammar [4].…”

“…At the beginning, structural primitives to be used for the ECG diagnostic justification process have been specified in [4]. Based on the structural primitives, the author defined a new class of programmed attributed regular grammars, PARG which was used to generate ECG patterns.…”

“…Eventually, the System for Teaching ElectroCar-dioGraphy (STECG) has been implemented. The core of the system was a syntax analyzer utilizing a class of programmed attributed finite-state automata, PAFSA [4].…”

Syntactic pattern recognition of ECG for diagnostic justification

“…Firstly, a set of structural primitives, which is feasible for the purpose of an ECG diagnostic justification has been identified in [35]. Then, a class of programmed attributed regular grammars, PARG has been defined as a tool for generating ECG patterns.…”