TOWARD UNDERSTANDING THE GENERATIVE CAPACITY OF ERASING RULES IN MATRIX GRAMMARS

2011 ◽  
Vol 22 (02) ◽  
pp. 411-426 ◽  
Author(s):  
GEORG ZETZSCHE
Keyword(s):  
Petri Net ◽  
Open Problem ◽  
Generative Capacity ◽  
Arbitrary Matrix ◽  
Matrix Grammar ◽  
Sentential Form

This article presents approaches to the open problem of whether erasing rules can be eliminated in matrix grammars. The class of languages generated by non-erasing matrix grammars is characterized by the newly introduced linear Petri net grammars. Petri net grammars are known to be equivalent to arbitrary matrix grammars (without appearance checking). In linear Petri net grammars, the marking has to be linear in size with respect to the length of the sentential form. The characterization by linear Petri net grammars is then used to show that applying linear erasing to a Petri net language yields a language generated by a non-erasing matrix grammar. It is also shown that in Petri net grammars (with final markings and arbitrary labeling), erasing rules can be eliminated, which yields two reformulations of the problem of whether erasing rules in matrix grammars can be eliminated.

scholarly journals A Pumping Lemma for Permitting Semi-Conditional Languages

2019 ◽  
Vol 30 (01) ◽  
pp. 73-92
Author(s):  
Zsolt Gazdag ◽  
Krisztián Tichler ◽  
Erzsébet Csuhaj-Varjú
Keyword(s):  
Open Problem ◽  
Generative Power ◽  
Context Sensitive ◽  
Sentential Form ◽  
Pumping Lemma ◽  
Context Free ◽  
Context Free Grammars

Permitting semi-conditional grammars (pSCGs) are extensions of context-free grammars where each rule is associated with a word [Formula: see text] and such a rule can be applied to a sentential form [Formula: see text] only if [Formula: see text] is a subword of [Formula: see text]. We consider permitting generalized SCGs (pgSCGs) where each rule [Formula: see text] is associated with a set of words [Formula: see text] and [Formula: see text] is applicable only if every word in [Formula: see text] occurs in [Formula: see text]. We investigate the generative power of pgSCGs with no erasing rules and prove a pumping lemma for their languages. Using this lemma we show that pgSCGs are strictly weaker than context-sensitive grammars. This solves a long-lasting open problem concerning the generative power of pSCGs. Moreover, we give a comparison of the generating power of pgSCGs and that of forbidding random context grammars with no erasing rules.

scholarly journals State machine of place-labelled petri net controlled grammars

2017 ◽  
Vol 13 (4) ◽  
pp. 649-653
Author(s):  
Nurhidaya Mohamad Jan ◽  
Fong Wan Heng ◽  
Nor Haniza Sarmin ◽  
Sherzod Turaev
Keyword(s):  
Petri Net ◽  
State Machine ◽  
The State ◽  
Generative Capacity ◽  
Context Free Grammar ◽  
Parallel Application ◽  
Context Free

A place-labelled Petri net controlled grammar is, in general, a context-free grammar equipped with a Petri net and a function which maps places of the net to productions of the grammar. The languages of place-labelled Petri net controlled grammar consist of all terminal strings that can be obtained by parallel application of the rules of multisets which are the images of the sets of input places in a successful occurrence sequence of the Petri net. In this paper, we investigate the structural subclass of place-labelled Petri net controlled grammar which focus on the state machine. We also establish the generative capacity of state machine of place-labelled Petri net controlled grammars.

scholarly journals Acceleration For Presburger Petri Nets

10.29007/8wkd ◽  
2018 ◽  
Author(s):  
Jerome Leroux
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Open Problem ◽  
Direct Consequence ◽  
Reachability Problem ◽  
Presburger Arithmetic ◽  
Acceleration Techniques ◽  
Reachability Set ◽  
Bounded Language ◽  
Inductive Invariants

The reachability problem for Petri nets is a central problem of net theory. The problem is known to be decidable by inductive invariants definable in the Presburger arithmetic. When the reachability set is definable in the Presburger arithmetic, the existence of such an inductive invariant is immediate. However, in this case, the computation of a Presburger formula denoting the reachability set is an open problem. Recently this problem got closed by proving that if the reachability set of a Petri net is definable in the Presburger arithmetic, then the Petri net is flatable, i.e. its reachability set can be obtained by runs labeled by words in a bounded language. As a direct consequence, classical algorithms based on acceleration techniques effectively compute a formula in the Presburger arithmetic denoting the reachability set.

The Yukawa Potential Function and Reciprocal Univalent Function

2013 ◽  
Vol 3 (2) ◽  
pp. 197-202
Author(s):  
Amir Pishkoo ◽  
Maslina Darus
Keyword(s):  
Mathematical Model ◽  
Unit Disk ◽  
Potential Function ◽  
Univalent Function ◽  
Open Problem ◽  
Yukawa Potential ◽  
Reciprocal Theorem ◽  
Problem Statement ◽  
Fundamental Forces

This paper presents a mathematical model that provides analytic connection between four fundamental forces (interactions), by using modified reciprocal theorem,derived in the paper, as a convenient template. The essential premise of this work is to demonstrate that if we obtain with a form of the Yukawa potential function [as a meromorphic univalent function], we may eventually obtain the Coloumb Potential as a univalent function outside of the unit disk. Finally, we introduce the new problem statement about assigning Meijer's G-functions to Yukawa and Coloumb potentials as an open problem.

Sign in / Sign up

Export Citation Format

Share Document