The Parikh functions of sparse context-free languages are quasi-polynomials
Discrete Mathematics
2008-07-08 v1
Abstract
We prove that the Parikh map of a bounded context-free language is a box spline. Moreover we prove that in this case, such a function is rational.
Cite
@article{arxiv.0807.0718,
title = {The Parikh functions of sparse context-free languages are quasi-polynomials},
author = {Flavio D'Alessandro and Benedetto Intrigila and Stefano Varricchio},
journal= {arXiv preprint arXiv:0807.0718},
year = {2008}
}
Related papers
View all related →
Formal Languages and Automata Theory · Computer Science
Parikh's Theorem: A simple and direct automaton construction
Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger
2012-07-03
Formal Languages and Automata Theory · Computer Science
Yet another proof of Parikh's Theorem
Manfred Kufleitner
2022-10-07
Logic in Computer Science · Computer Science
Bounded Underapproximations
Pierre Ganty, Rupak Majumdar, Benjamin Monmege
2012-07-03
Formal Languages and Automata Theory · Computer Science
Parikh's theorem for infinite alphabets
Piotr Hofman, Marta Juzepczuk, Sławomir Lasota, Mohnish Pattathurajan
2021-04-27
Formal Languages and Automata Theory · Computer Science
Slice closures of indexed languages and word equations with counting constraints
Laura Ciobanu, Georg Zetzsche
2024-05-14
Logic in Computer Science · Computer Science
Parikh Images of Regular Languages: Complexity and Applications
Anthony Widjaja To
2010-02-12
Formal Languages and Automata Theory · Computer Science
The Parikh Property for Weighted Context-Free Grammars
Pierre Ganty, Elena Gutiérrez
2019-06-20
Formal Languages and Automata Theory · Computer Science
Rational index of bounded-oscillation languages
Ekaterina Shemetova, Alexander Okhotin, Semyon Grigorev
2020-12-08
Formal Languages and Automata Theory · Computer Science
Star Complexity of Parikh Images of Languages over Infinite Alphabets
Yoav Danieli
2026-05-12
Formal Languages and Automata Theory · Computer Science
Complexity of Problems for Commutative Grammars
Eryk Kopczyński
2010-03-23
Discrete Mathematics · Computer Science
The range of non-linear natural polynomials cannot be context-free
Dömötör Pálvölgyi
2019-09-16
Formal Languages and Automata Theory · Computer Science
Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent One-Way and Two-Way Deterministic Automata
Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki
2012-12-12
Formal Languages and Automata Theory · Computer Science
Parikh's Theorem Made Symbolic
Matthew Hague, Artur Jeż, Anthony W. Lin
2024-08-01
Formal Languages and Automata Theory · Computer Science
On Finite-Index Indexed Grammars and Their Restrictions
Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan
2022-12-08
Formal Languages and Automata Theory · Computer Science
Relational parsing: a clean, fast parsing strategy for all context-free languages
Grzegorz Herman
2019-02-19
Formal Languages and Automata Theory · Computer Science
An Extension of Parikh's Theorem beyond Idempotence
Michael Luttenberger, Maximilian Schlund
2013-02-06
Numerical Analysis · Mathematics
Fast and exact evaluation of box splines via the PP-form
Joshua Horacsek, Usman Alim
2016-06-30
Combinatorics · Mathematics
Towards a polynomial basis of the algebra of peak quasisymmetric functions
Yunnan Li
2017-10-10
Number Theory · Mathematics
Extensions of algebraic function fields with complete splitting of all rational places
Vinay Deolalikar
2007-05-23
Formal Languages and Automata Theory · Computer Science
Formalization of closure properties for context-free grammars
Marcus V. M. Ramos, Ruy J. G. B. de Queiroz
2015-06-11
Formal Languages and Automata Theory · Computer Science
A Regularity Measure for Context Free Grammars
M. Praveen
2011-09-27
Rings and Algebras · Mathematics
On closed rational functions in several variables
A. P. Petravchuk, O. G. Iena
2007-05-23
Symbolic Computation · Computer Science
What Can (and Can't) we Do with Sparse Polynomials?
Daniel S. Roche
2018-07-24
Formal Languages and Automata Theory · Computer Science
Algebraic Closure of Matrix Sets Recognized by 1-VASS
Rida Ait El Manssour, Mahsa Naraghi, Mahsa Shirmohammadi, James Worrell
2025-10-28
Combinatorics · Mathematics
Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
Marthe Bonamy, Édouard Bonnet, Hugues Déprés, Louis Esperet +4
2024-09-13