Re: [lojban] formal language

["Adam D. Lopresto" <adam@pubcrawler.org>]

On Wed, 13 Dec 2006, Pierre Abbat wrote:

> What do we call a formal language in Lojban? It's a set of strings made of
> letters of some alphabet, often described by a formal grammar. Although many
> formal languages are used to express meaning, some, such as the MIU system,
> are mere mathematical objects. So if a formal language is any kind of bangu,
> it has to be a zilbau.

I'd say it's definitely not a bangu in any normal sense.  So I'd probably
coin {lerpoi} as something like "x1=p1 is a string/sequence of characters drawn
from alphabet x2=l2", and then for a language I'd use a set (I think that's
zilcmi) of them.  But that's just off the top of my head.
-- 
Adam Lopresto
http://cec.wustl.edu/~adam/

There are always more fish in the sea, not as cute, nor as rich, but fish
nevertheless.
    --From a fortune cookie