William James Meyers

dblp:286/8836 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 1971
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Coding theory · 33% Graph algorithms and graph theory · 33% Automata and formal languages · 33%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Graph algorithms and graph theory › planar graphs
plane tree
0.011971
Linear Representation of Tree Structure: A Mathematical Theory of Parenthesis-Free Notations · STOC 1971
Automata and formal languages › infinite-state systems
recursive structures
0.011971
Linear Representation of Tree Structure: A Mathematical Theory of Parenthesis-Free Notations · STOC 1971
Coding theory › source coding
tree coding
0.011971
Linear Representation of Tree Structure: A Mathematical Theory of Parenthesis-Free Notations · STOC 1971
YearPublicationVenuePosition
1971 Linear Representation of Tree Structure: A Mathematical Theory of Parenthesis-Free Notations
abstract
In this paper we present a substantially general theory of parenthesis-free notations for finite plane trees. We obtain stronger one-to-oneness results, including a characterization of one-to-oneness for a large class of notations, and a quite general sufficient condition for one-to-oneness that involves the recursive structure of plane trees in what appears to be a minimal way. We then study various properties of notations that promise to be of practical interest. The two most important of these—single scan bottom-up readability, and single scan top-down readability—both turn out to be particular cases of our general sufficient condition for one-to-oneness. We formulate simple descriptions of all notations that have one or the other of these properties, and find a simple transformation of notations that establishes a one-to-one correspondence between them. The unique fixed point of this transformation turns out to be the only notation single scan readable in both directions.
William James Meyers
STOC1