Re: Universal grammar

Hi Hans,

Are you saying you want to look up what was said about linguistic
universals to give you new ideas for constructing computer languages?

-Rob Freeman

Hans Aberg wrote:
...
The other end, though, is that I am into computer language construction,
mainly using Bison/Flex, which are Yacc/Lex compatible programs. There is
one constructed human language with a Yaccable grammar, Lojban
<http://www.lojban.org/>. But other human languages are quite
nondeterministic and ambiguous. Parsers, like Bison, now slowly get the
capacity of handling ambiguous grammars. Bison does that by what is called
GLR, "Generalized LR", which splits the parser when an ambiguity occurs,
and merges it again when it is resolved. This is faster than parsing all
possibilities. Parsing a human language is even more complicated, because
the lexer needs to be split as well, which is currently not within scope,
even though we have discussed the possibility.

Anyway, so I thought it might be good to have some references handy in the
case of need.

.

Relevant Pages

  • Re: A question about FOL theories and models
    ... You could formalize some meta-theory about G. ... Constructing a counter-model is only one way of proving ... function in the language and a relation for every ... the axiom-set "the axioms of G plus the denial of the axiom you ...
    (sci.logic)
  • Re: An argument against modus ponens
    ... the sentences used for constructing a language are sentences in that ... The FORMAL definition of "set" IS NOT EVEN RELEVANT to most of the ... JUST BECAUSE WE HAVE TO *USE* strings IN ORDER TO COMMUNICATE, ...
    (sci.logic)
  • Re: Anti-esperanto propaganda
    ... > very close to constructing a neutral language by focusing almost ... > exclusively on the vocabulary and grammar of European languages. ... > neutrality of such a language. ...
    (sci.lang)
  • Re: why cannot assign to function call
    ... refers to" and "change what 'b' refers to". ... Even in spoken language, ... I'd be interested to know to what extent this ambiguity exists in languages ... *The Morning Star and The Evening Star is... ...
    (comp.lang.python)
  • Re: syllogism
    ... But we've already stated our respective dogmas on the ambiguity ... of language, and of middle terms. ... you continue with more dogma. ... >via analogical reasoning but then demonstrate that conclusion by ...
    (sci.logic)