Explore chapters and articles related to this topic
Modelling Manufacturing Systems in a Dioid Framework
Published in Javier Campos, Carla Seatzu, Xiaolan Xie, in Manufacturing, 2018
Thomas Brunsch, Laurent Hardouin, Jörg Raisch
Definition 2.19 (Kleene star) The Kleene star is a mapping denoted*. In a complete dioid (D,⊕,⊗), it is defined ∀a∈D by a∗=⊕i=0∞aiwithai+1=a⊗aianda0=e.
A separation theorem for discrete-time interval temporal logic
Published in Journal of Applied Non-Classical Logics, 2022
Dimitar P. Guelev, Ben Moszkowski
In Interval Temporal Logic (, Cau et al., 2022; Halpern et al., 1983; Moszkowski, 1985, 1986), satisfaction of formulas is defined at intervals rather than time points, which are typical of other temporal logics. operators for sequentially combining formulas A;B (‘AchopB’) and (‘Achop-star’) are related to the concatenation and Kleene star operators for regular languages. -related logics include the logic of Halpern and Shoham (1986), Venema's (1991), which is based on chop too, real-time interval-based predicate logics for the modelling of hybrid systems such as the Duration Calculus (, Zhou and Hansen, 2004; Zhou et al., 1991), and interval-based modalities for Allen's interval relations (1983). Surveys can be found in Goranko et al. (2004) and Monica et al. (2011).
Synthesis of regular expression problems and solutions
Published in International Journal of Computers and Applications, 2020
A regular language over a given alphabet Σ is defined as any of the following: the empty symbol φ,the set of empty string ,the set for some ,if and are regular languages, then (the concatenation of both languages) and (the alternation) are also regular languages, and, known as the Kleene star, is a regular language.