L-systems are recursive symbol replacement systems:
- Start with a set of symbols.
- Replace each symbol with an ordered set of symbols, a unique set for each symbol.
- Repeat these last two steps indefinitely, using the new set of symbols.
is also allowed here if S does not appear on the right side of any rule. These languages are exactly all languages that can be decided by a finite state automaton. Additionally, this family of formal languages can be obtained by regular expressions. Regular languages are commonly used to define search patterns and the lexical structure of programming languages.
or

This one-dimensional pattern is fractal, but that's not obvious on inspection -- humans don't easily recognize the self-similar and discontinuous nature of the pattern. Human language is much richer (more possible sentences, more convoluted sentence structure) than this because it has more symbols (words) and rules. But if a system like this is extended to two dimensions (by allowing replacement rules to be 2x2 instead of nx1), the fractal patterns formed are more evident. Here's one of the simplest possible 2-symbol 2x2 systems:

which evolves like this:
...

which is more obviously a fractal (a right angle Serpinski gasket).
Human language sentences have a terminating symbol, and if they are diagrammed they have a similar fractal structure. They are usually terminated very early ("Sally went to the store."), because if too many rules are applied humans can't keep in working memory all the relationships ("Sally, my sister, went, after climbing the tall hill, to the bigger store at the bottom of the tall green hill.")
Human written language can be considered one-dimensional, but spoken/signed language can have other dimensions, like prosody and intonation.
Related items:
Intelligent Computational Model Of The Descriptive Grammar Of The Spanish Language
"Computational linguistics draws primarily on linguistic theories to build language representation models for computational applications. The linguistic theories are formal (i.e. mathematically expressible) models. It takes from 5 to 10 years to develop a model in any particular language, whereas the coverage of the resulting model 55%. In other words, coverage is very limited and the cost is huge. This is an obstacle to languages, apart from English or more dominant languages, having useful applications.
To overcome this hurdle, the researchers Carolina Gallardo and Jesús Cardeñosa have examined the possibility of using descriptive grammars in place of linguistic theories. Even though they are not formal, descriptive grammars do represent the real language use."
Comments
Post new comment