SE-SYSTEMS, TIMING MECHANISMS, AND TIME-VARYING CODES

We show that synchronized extension systems [17] can be successfully used to simulate timing mechanisms incorporated into grammars and automata [3, v 7-9, v 12]. Further, we introduce the concept of a time-varying code as a natural generalization of L-codes, and the relationship with classical codes, gsm codes and SE-codes is established. Finally, an algorithm for testing the time-varying code property in case of periodicity is given.

Keywords:

• Formal Languages And Automata
• Time-varying Grammars And Automata
• Codes
• Synchronized Extension Systems