Content deleted Content added
Tag: |
→Distinct, unambiguous symbols: new section |
||
Line 152:
:I've changed the image to diagram a string. Though I haven't figured out how to make it the page image yet. [[User:TripleShortOfACycle|TripleShortOfACycle]] ([[User talk:TripleShortOfACycle|talk]] - [[Special:Contributions/TripleShortOfACycle|contribs]]) - (she/her/hers) 14:19, 31 January 2021 (UTC)
::Now the page thumbnail works! It displays a diagram of a string when links to this page are hovered over. [[User:TripleShortOfACycle|TripleShortOfACycle]] ([[User talk:TripleShortOfACycle|talk]] - [[Special:Contributions/TripleShortOfACycle|contribs]]) - (she/her/hers) 14:30, 31 January 2021 (UTC)
== Distinct, unambiguous symbols ==
As far as I know, it is also required that each string can be uniquely decomposed into its symbols. For example, if the alphabet itself consists of strings (as in [[Free_monoid#Free_generators_and_rank]], or in the lead of [[Alphabet (formal languages)]], with Σ = {"0", "00"}), its symbols are distinct and unambiguous (as are the members of each mathematical set), but nevertheless, a string may be composed in different ways. I guess "unambiguous" is supposed to express the requirement of unique decomposition, but I'm not sure it is precise enough. The decomposition must be unambiguous, rather than just the symbols. - [[User:Jochen Burghardt|Jochen Burghardt]] ([[User talk:Jochen Burghardt|talk]]) 18:03, 13 May 2024 (UTC)
| |||