oshfdk > 26-08-2026, 12:11 PM
Dunsel > 26-08-2026, 01:03 PM
(26-08-2026, 08:52 AM)Jorge_Stolfi Wrote: You are not allowed to view links. Register or Login to view.If the ledger can generate infinitely many strings, it must have a cycle. That's because a set of infinitely many words must have arbitrarily long words. If a finite state automaton with N states generates a word with N or more letters, it must go twice or more through some state. That means the automaton has a cycle. Then traversing that cycle M times generates a word that contains a substring that is repeated M times, for any M.
On the other hand, if the alphabet has N letters, it is possible to create a word with ~N^K letters that does not repeat any substring of K letters. These words are called "De Bruijn sequences". For example, with 10 letters one can create a text of a million letters that does not repeat any substring of 6 or more letters.
Jorge_Stolfi > 26-08-2026, 04:26 PM
(26-08-2026, 01:03 PM)Dunsel Wrote: You are not allowed to view links. Register or Login to view.So could a procedure that simply walked the ledger's allowed transitions produce arbitrarily long strings? Sure. I could take English word rules and create one. But that's a property of a traversal procedure, not of the ledger or English rules. Like English, the scribes clearly weren't just blindly walking every available transition. ... The ledger is only half of the rule system. The scribal policy is the other half.Any FSA can be used indifferently as a string generator or a string validator. The "language" of the FSA is the set of all strings it can generate, which is the same as the set of all strings that it will accept.
Dunsel > 27-08-2026, 10:38 PM
(26-08-2026, 04:26 PM)Jorge_Stolfi Wrote: You are not allowed to view links. Register or Login to view.Any FSA can be used indifferently as a string generator or a string validator. The "language" of the FSA is the set of all strings it can generate, which is the same as the set of all strings that it will accept.
So you are saying that your ledger aims only for maximum "coverage" of the VMS text, not maximum "precision". That is, you care only that its language L contains all the strings of glyphs that occur in the VMS text without spaces. You don't care about how many strings are in L that do not occur in the VMS.
That makes the ledger less interesting than other models that account for spaces and try to balance coverage and precision, like slot grammars and the early FSA models. The VMS text has many errors that create single-occurrence word types with unusual digraphs, trigraphs, etc. Transcription errors add to that. By trying to include those weird words, the ledger ends up accepting a lot more than it should. Thus the ledger will not tell many constraints that are almost certainly true, like "a word can have at most one gallows" and "there cannot be a d between two ch".
All the best, --stolfi
Jorge_Stolfi > 27-08-2026, 11:08 PM
(27-08-2026, 10:38 PM)Dunsel Wrote: You are not allowed to view links. Register or Login to view.It is simply a set of very simple rules describing how words could have been constructed and allowing existing words to be validated against those rules. The ledger defines those available construction rules.
nablator > 27-08-2026, 11:43 PM
Mauro > 31-08-2026, 01:12 PM
(24-08-2026, 01:31 PM)Dunsel Wrote: You are not allowed to view links. Register or Login to view.(24-08-2026, 07:12 AM)oshfdk Wrote: You are not allowed to view links. Register or Login to view.How is this different from a slot grammar? If treated as a slot grammar, how does this ledger score against the existing slot grammars in Mauro's metric? Most likely this question is about the full version of the ledger with gallows, etc, because the metric measures the efficiency in reconstructing the full text, which requires a nearly 100% coverage.
Ok, couldn't sleep last nite so I dug into your question. I was vaguely aware of Mauro's work but hadn't really examined it. So here's some preliminary results as I understand his work:
This ledger is basically a conditional slot grammar rather than a conventional slot grammar: the the next letter in a word depends on the glyph immediately before it. I had to force it into a finite slot-style implementation so that Mauro's coverage/efficiency metric could be applied.
(24-08-2026, 01:31 PM)Dunsel Wrote: You are not allowed to view links. Register or Login to view.With gallows retained it covered 100% of the 8,424 RF1a-n types tested (the transcription Maro used) and generated about 7.82 billion possible forms, giving an efficiency of 1.08×10⁻⁶. For comparison, Mauro's EXTENDED-12 covers 88.45% while generating 6.12 billion forms, with efficiency 1.16×10⁻⁶. So the two have almost identical efficiency, but the ledger reaches full coverage.
(24-08-2026, 01:31 PM)Dunsel Wrote: You are not allowed to view links. Register or Login to view.Stripping gallows (which I will explain my reasonings for this in the next post) makes a huge difference. The ledger still gives 100% coverage of the stripped vocabulary, but the generated space falls from 7.82 billion to about 337 million. Efficiency improves about 15-fold, to 1.65×10⁻⁵. Mauro’s EXTENDED-12 is 1.16×10⁻⁶ at 88.45% coverage.
So the stripped ledger has full coverage and roughly 14 times Mauro’s efficiency.
Dunsel > 01-09-2026, 01:12 PM
(31-08-2026, 01:12 PM)Mauro Wrote: You are not allowed to view links. Register or Login to view.But here you're comparing apples and oranges. The coverage of the full text with your ledger (without gallows) is much lower than the coverage of my EXTENDED-12 (which, by the way, is an obsolete grammar since much improved upon). Or, alternatively, you should compare with other grammars where gallows have been stripped too.
Dunsel > 01-09-2026, 01:21 PM
(27-08-2026, 11:08 PM)Jorge_Stolfi Wrote: You are not allowed to view links. Register or Login to view.I understand that. My point is that the rules defined by your ledger are only a subset of the actual rules.
(27-08-2026, 11:08 PM)Jorge_Stolfi Wrote: You are not allowed to view links. Register or Login to view.Apparent actual rules include "there can be at most one gallows per word", "there can be at most three of {ch,sh,ee} per word", "there cannot be a d between two ch in the same word", "the in,iin,iiin can only occur at the end of a word", and many others.
Does your ledger impose those restrictions?
(27-08-2026, 11:08 PM)Jorge_Stolfi Wrote: You are not allowed to view links. Register or Login to view.If the Scribe used your ledger as a "spell checker" while writing, could he write the words "iindy", "chdch", "okydoky", "chochochychy"?
(27-08-2026, 11:08 PM)Jorge_Stolfi Wrote: You are not allowed to view links. Register or Login to view.Anyway, when building the ledger you should exclude any word type that occurs only once in your sample. Maybe exclude even any short word type that occurs only 2 or 3 times. They are likely to be errors (by the Author, the Scribe, or the Transcriber).
(27-08-2026, 11:08 PM)Jorge_Stolfi Wrote: You are not allowed to view links. Register or Login to view.If you include those unique or almost-unique words, and they are errors, your ledger may end up allowing transitions that never occur in any correct word. If you exclude them but they are correct, it probably will not make any difference, because the transitions in those words will probably occur in other words.
Dunsel > 01-09-2026, 01:25 PM
(27-08-2026, 11:43 PM)nablator Wrote: You are not allowed to view links. Register or Login to view.I'm still trying to understand why so many possibilities. For example: where is suffix a after ch if hapax are excluded?