Fdtxjr

Multi tool use

How to stretch the corners of this image so that it looks like a perfect rectangle?

In the UK, is it possible to get a referendum by a court decision?

How can I prove that a state of equilibrium is unstable?

Finding the reason behind the value of the integral.

How to install cross-compiler on Ubuntu 18.04?

Avoiding the "not like other girls" trope?

Why were 5.25" floppy drives cheaper than 8"?

Should I tell management that I intend to leave due to bad software development practices?

GFCI outlets - can they be repaired? Are they really needed at the end of a circuit?

files created then deleted at every second in tmp directory

Is it "common practice in Fourier transform spectroscopy to multiply the measured interferogram by an apodizing function"? If so, why?

Getting extremely large arrows with tikzcd

Blending or harmonizing

Why didn't Boeing produce its own regional jet?

What do you call someone who asks many questions?

Mathematica command that allows it to read my intentions

Does int main() need a declaration on C++?

Notepad++ delete until colon for every line with replace all

What is an equivalently powerful replacement spell for Yuan-Ti's Suggestion spell?

What is the most common color to indicate the input-field is disabled?

What are the G forces leaving Earth orbit?

Can I hook these wires up to find the connection to a dead outlet?

What Exploit Are These User Agents Trying to Use?

Processor speed limited at 0.4 Ghz

Is there anything in the literature about $2k$-nary infix grammars, in particular easy validity and parsing schemes?

$L=langle G_1,G_2 rangle in R$?

0

$begingroup$

Suppose $k$ is a positive integer: I'm working with the $2k$-nary infix grammar
$$
S to mathrmopd | SSldots S mathrmopr SSldots S,
$$
where there are $k$ $S$s in each side of the $mathrmopr$.

This is a CFG, so the rich theory of CFG's and PDA's applies, and it's also obvious that the grammar is ambiguous as is (without parentheses or precedence rules). But far more simplistically --

I have found a very easy algorithm involving just counting how many $mathrmopd$s are in between pairs of $mathrmopr$s to validate expressions in the language and which provides a parse for valid expressions.

Is this result new and/or interesting?

context-free-grammar

share|cite|improve this question

edited Mar 20 at 20:02

Daniele Tampieri

2,62221022

asked Mar 20 at 18:20

Steven MinskerSteven Minsker

11

$endgroup$

add a comment | 

0

$begingroup$

Suppose $k$ is a positive integer: I'm working with the $2k$-nary infix grammar
$$
S to mathrmopd | SSldots S mathrmopr SSldots S,
$$
where there are $k$ $S$s in each side of the $mathrmopr$.

This is a CFG, so the rich theory of CFG's and PDA's applies, and it's also obvious that the grammar is ambiguous as is (without parentheses or precedence rules). But far more simplistically --

I have found a very easy algorithm involving just counting how many $mathrmopd$s are in between pairs of $mathrmopr$s to validate expressions in the language and which provides a parse for valid expressions.

Is this result new and/or interesting?

context-free-grammar

share|cite|improve this question

edited Mar 20 at 20:02

Daniele Tampieri

2,62221022

asked Mar 20 at 18:20

Steven MinskerSteven Minsker

11

$endgroup$

add a comment | 

$begingroup$

Suppose $k$ is a positive integer: I'm working with the $2k$-nary infix grammar
$$
S to mathrmopd | SSldots S mathrmopr SSldots S,
$$
where there are $k$ $S$s in each side of the $mathrmopr$.

This is a CFG, so the rich theory of CFG's and PDA's applies, and it's also obvious that the grammar is ambiguous as is (without parentheses or precedence rules). But far more simplistically --

I have found a very easy algorithm involving just counting how many $mathrmopd$s are in between pairs of $mathrmopr$s to validate expressions in the language and which provides a parse for valid expressions.

Is this result new and/or interesting?

context-free-grammar

share|cite|improve this question

edited Mar 20 at 20:02

Daniele Tampieri

2,62221022

asked Mar 20 at 18:20

Steven MinskerSteven Minsker

11

$endgroup$

share|cite|improve this question

edited Mar 20 at 20:02

Daniele Tampieri

2,62221022

asked Mar 20 at 18:20

Steven MinskerSteven Minsker

11

share|cite|improve this question

edited Mar 20 at 20:02

Daniele Tampieri

2,62221022

asked Mar 20 at 18:20

Steven MinskerSteven Minsker

11

edited Mar 20 at 20:02

Daniele Tampieri

2,62221022

edited Mar 20 at 20:02

Daniele Tampieri

2,62221022

asked Mar 20 at 18:20

Steven MinskerSteven Minsker

11

asked Mar 20 at 18:20

Steven MinskerSteven Minsker

11