On the ambiguation of Polish notation (Q549208): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Unique reading theorems for Polish notation show how structure of terms in this notation can be recovered. The author proposes another interpretation strategy: the free monoid of all strings is interpreted in a certain semantic algebra which also is a monoid. To construct the latter, the author introduces the notion of Polish composition over a category; under one extra condition, this composition is essentially an extension of the partial composition operation \(g \circ f\) to the cases where codomain of \(f\) differs from the domain of \(f\). The language of category theory is used throughout the study; the reader is supposed to have some knowledge of basic category theory. However, the main tool, strictly r-monoidal categories, is explained in the paper. | |||
Property / review text: Unique reading theorems for Polish notation show how structure of terms in this notation can be recovered. The author proposes another interpretation strategy: the free monoid of all strings is interpreted in a certain semantic algebra which also is a monoid. To construct the latter, the author introduces the notion of Polish composition over a category; under one extra condition, this composition is essentially an extension of the partial composition operation \(g \circ f\) to the cases where codomain of \(f\) differs from the domain of \(f\). The language of category theory is used throughout the study; the reader is supposed to have some knowledge of basic category theory. However, the main tool, strictly r-monoidal categories, is explained in the paper. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jānis Cīrulis / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5918246 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
monoid | |||
Property / zbMATH Keywords: monoid / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
monoidal category | |||
Property / zbMATH Keywords: monoidal category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Polish composition | |||
Property / zbMATH Keywords: Polish composition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Polish notation | |||
Property / zbMATH Keywords: Polish notation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
unique reading | |||
Property / zbMATH Keywords: unique reading / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
pushout | |||
Property / zbMATH Keywords: pushout / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2011.01.025 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2069122191 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4304740 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693151 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4876413 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic bracketing and discourse representation / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:56, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the ambiguation of Polish notation |
scientific article |
Statements
On the ambiguation of Polish notation (English)
0 references
7 July 2011
0 references
Unique reading theorems for Polish notation show how structure of terms in this notation can be recovered. The author proposes another interpretation strategy: the free monoid of all strings is interpreted in a certain semantic algebra which also is a monoid. To construct the latter, the author introduces the notion of Polish composition over a category; under one extra condition, this composition is essentially an extension of the partial composition operation \(g \circ f\) to the cases where codomain of \(f\) differs from the domain of \(f\). The language of category theory is used throughout the study; the reader is supposed to have some knowledge of basic category theory. However, the main tool, strictly r-monoidal categories, is explained in the paper.
0 references
monoid
0 references
monoidal category
0 references
Polish composition
0 references
Polish notation
0 references
unique reading
0 references
pushout
0 references