On Quantum Context-Free Grammars

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Aruja, Merina, Mathew, Lisa, Vijayakumar, Jayakrishna
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866913848121884672
author Aruja, Merina
Mathew, Lisa
Vijayakumar, Jayakrishna
author_facet Aruja, Merina
Mathew, Lisa
Vijayakumar, Jayakrishna
contents Quantum computing is a relatively new field of computing, which utilises the fundamental concepts of quantum mechanics to process data. The seminal paper of Moore et al. [2000] introduced quantum grammars wherein a set of amplitudes was attached to each production. However they did not study the final probability of the derived word. Aruja et al. [2025] considered conditions for the well-formedness of quantum context-free grammars (QCFGs), in order to ensure that the probabilty of the derived word does not exceed one. In this paper we propose certain necessary and sufficient conditions (also known as unitary conditions) for well-formedness of QCFGs
format Preprint
id arxiv_https___arxiv_org_abs_2505_13937
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle On Quantum Context-Free Grammars
Aruja, Merina
Mathew, Lisa
Vijayakumar, Jayakrishna
Formal Languages and Automata Theory
68Q42, 68Q45, 68Q09, 81P68
Quantum computing is a relatively new field of computing, which utilises the fundamental concepts of quantum mechanics to process data. The seminal paper of Moore et al. [2000] introduced quantum grammars wherein a set of amplitudes was attached to each production. However they did not study the final probability of the derived word. Aruja et al. [2025] considered conditions for the well-formedness of quantum context-free grammars (QCFGs), in order to ensure that the probabilty of the derived word does not exceed one. In this paper we propose certain necessary and sufficient conditions (also known as unitary conditions) for well-formedness of QCFGs
title On Quantum Context-Free Grammars
topic Formal Languages and Automata Theory
68Q42, 68Q45, 68Q09, 81P68
url https://arxiv.org/abs/2505.13937