Синтаксис токи-поны

[Тайльнемер]

Интересно, как выглядит синтаксис токи-поны, если попытаться его записать формально?
У меня получился вот такой вариант (может, я чего-то не учёл?):

text ::= sentence*
sentence ::= clause'.'
clause ::=
  | [clause] word             (1)
  | [clause₁] word clause₂    (2)
  | clause₁ 'ala' clause₁     (3)
word ::= {{ одно из ≈126 нарицательных или имя собственное }}

Семантика конструкции (1) (обозначим её как (clause←1:word) или как просто word в случае отсутствия clause):
«word — определение для clause».

Семантика конструкции (2) (обозначим как (clause₁←(2:word←clause₂)) или (2:word←clause₂):
«clause₂ — определение для word, (word clause₂) — определение для clause₁».

Семантика конструкции (3) (обозначим как (clause₁?3:ala?clause₁)):
«вопрос об истинности clause₁».

Разбор недетерминированный. Однако выбор между конструкцией (1) и (2) при разборе имеет некоторую вероятностную зависимость от используемого в ней word'а: одни слова тяготеют к конструкции (1), другие — к (2).
В своём словаре я разбил слова на три условных группы.
В столбце inv знаком '++' я обозначил слова, которые всегда или почти всегда используют кострукцию (2). К ним, например, относятся: pi, li, e, la, o, ...
Знаком '+' — слова, которые сочетаются с обеими конструкциями. Например: mi, tawa, taso, ...
Остальные слова, включая имена собственные, тяготеют к конструкции (1). И, если и могут употребляться с (2), то в очень редких случаях.

Слова первой группы имеют самую абстрактную семантику. Например, pi вообще имеет вырожденную семантику и используется только из-за своей абсолютной склонности к конструкции (2).

Рассмотрим предложения (каждое — вида 'word₁ word₂ word₃.'):
tomo tawa mute.
mi tawa mute.
pona tawa mi.
pona ala pona.

Первое, наиболее вероятно, разберётся как
((tomo←1:tawa)←1:mute)  «Много машин».
Здесь tawa «двигаться» определяет tomo «дом, сооружение» (конструкция(1)), а mute «много» определяет уже i]tomo tawa[/i] «движущееся сооружение, машина» (конструкция(1)).

Второе — уже, скорее, как
(2:mi←(tawa←1:mute))  «Я много хожу».
Слово mi может использоваться как в (1), так и в (2). Здесь применена конструкция (2), поэтому mute «много» определяет tawa «двигаться» (конструкция(1)), а tawa mute «много двигаться» определяет mi «я» (конструкция(2)).

Третье — как
(pona←(2:tawa←mi))  «Хорошо для меня».
Здесь уже tawa использует (2). mi «я» определяет tawa «двигаться», а tawa mi «ко мне» определяет pona «хорошо» (конструкция(2)).

Четвёртое:
(pona?3:ala?pona)  «Хорошо ли?»
Тут — конструкция(3).

[Sirko]

http://www2.hawaii.edu/~chin/661F12/Projects/ztomaszewski.pdf

S -> Interjection | VocativeS | Sentence | YNAnswer
VocativeS -> NP o | NP o , Sentence | NP o Pred | o Pred | Conditional o Pred
YNAnswer -> V | V ala
Sentence -> SubjPred | Conditional SubjPred | taso SubjPred
Conditional -> SubjPred la | Context la | NP la
SubjPred -> mi Pred | sina Pred | NP_NoMiSina li Pred | CompoundSubj li Pred
CompoundSubj -> NP en CompoundSubj
NP_NoMiSina -> N_NoMiSina | CompNP
NP -> N | CompNP
CompNP -> NMod | NPpi | NP anu NP
NPpi -> NP pi N Modifier | NP pi Name
NMod -> N Modifier | N N | N N Modifier
Modifier -> Mod | Mod Modifier
Pred -> VP | VP li Pred
VP -> IntransVP | TransVP | VP PrepPh
IntransVP -> Verb | lon NP | tawa NP | Modal lon NP | Modal tawa NP | Modifier |
NP TransVP -> Verb DO | Modal Verb DO
DO -> e NP | e NP DO
Verb -> V | Modal V | V Mod | YnV | Modal YnV | YnV Mod
YnV -> V ala V
PrepPh -> Prep NP | Prep NP PrepPh
Context -> ante | ken
Modal -> PosModal | PosModal ala | YnModal
PosModal -> kama | ken | wile
YnModal -> kama ala kama | ken ala ken | wile ala wile
V -> anpa | ante | awen | ijo | ike | jaki | jan | jo | kalama | kama | ken
| kepeken | kule | lape | lawa | lete | lili | lon | lukin | moku | moli | musi
| mute | nasa |olin | open | pakala | pali | pana | pilin | pimeja | pini | poka
| pona | seli | sin | sitelen | sona | suli | suwi | tawa | telo | toki | tomo | tu
| unpa | utala | wan | wawa | weka | wile
N -> mi | sina | N_NoMiSina
N_NoMiSina -> Name | akesi | ala | ale | ali | ante | ijo | ike | ilo | insa
| jaki | jan | jo | kala | kalama | kama | kasi | ken | kili | kiwen | kule
| kute | kulupu | lawa | len | lete | lili | linja | lipu | luka | lupa | ma
| mama | mani | meli | mije | moku | moli | monsi | mun | musi | mute | nanpa
| nasin | nena | ni | nimi | noka | oko | olin | ona | pakala | pali | palisa
| pana | pilin | pimeja | pini | pipi | poki | poka | pona | seli | selo | seme
| sewi | sijelo | sike | sinpin | sitelen | sona | soweli | suli | suno | supa
| suwi | tan | tawa | telo | tenpo | toki | tomo | tu | unpa | uta | utala | walo
| wan | waso | wawa | weka | wile
Mod -> ala | ale | ali | ante | awen | ijo | ike | insa | jaki | jan | jelo
| kalama | kama | kin | kiwen | kule | kute | kulupu | laso | lape | lawa | lete
| lili | loje | lukin | mama | meli | mi | mije | moku | moli | monsi | mun | musi| mute | nasa | ni | olin | ona | pakala | pali | pimeja | pini | poka | pona
| sama | seli | seme | sewi | sike | sin | sina | suli | suwi | taso | tawa | telo
| toki | tomo | tu | unpa | uta | walo | wan | wawa | weka | wike
Prep -> kepeken | lon | poka | sama | tan | tawa
Interjection -> a | a a | a a a | ala | ike | jaki | mu | o | pakala | pona | toki
Name -> jan 'Name' | ma 'Name' | ma tomo 'Name' | toki 'Name' | soweli 'Name'
# New words not included here: alasa, esun, pan, kipisi, pu

[Тайльнемер]

Спасибо!
Тут очень подробно, интересно.

[Gleki Arxokuna]

Какой-то резкий скачок от синтаксиса к семантике.
toki li pona может означать и "Язык - хороший", и "Говорящий - хороший", и "Говорить - хорошо".
Именно в семантическом парсере кроется загвоздка. Нужен парсер, работающий на уровне дискурса, а не клауз.

[Gyesa]

Тут один чувак попытался "записать" токи пону на прологе в DCG. Довольно неплохо вышло, хотя его вариант не всё учитывает, но для доработки — самое то.

[ORO]

лет 10 тому назад, я немного пробовал составлять деревья в токи-поне на базе XML, пробуя таким образом сгенерировать большой словарь, который потом можно будет использовать как конструктор, кликать мышкой токипонские слова на страничке и получать в результат небольшую словарную статью с переводами этого получившегося выражения на разные языки и абстрактную картинку, как это выглядит.
Идея была заброшена за ненужностью.

[Ömer]

Идея была заброшена за ненужностью.

Ну да ну да, а всё остальное связанное с Токи Поной очень важно и нужно.

Проект-то интересно звучит, на вот этом же форуме он бы точно привлек внимание пары-тройки пользователей.

[Окаменелость]

Как в токипоне будут выглядеть сложносочиненные предложения?

[Валентин Н]

Хоть один текст на ней существует? Хотелось бы посмотреть как с ним "балтай халасо" справится.

[maristo]

Хоть один текст на ней существует? Хотелось бы посмотреть как с ним "балтай халасо" справится.

По-моему уже большой корпус.

[Тайльнемер]

Хоть один текст на ней существует?

Вот, можете, например, посмотреть «Маленького принца» — довольно большой текст.

Хотелось бы посмотреть как с ним "балтай халасо" справится.

Если вы расчитываете, что можно будет понять без подготовки, то вряд ли. Грамматика и словоупотребление слишком специфические в токи-поне.

Vlema tipa malenka maia tagda maia glidi na kaltinka halaso. Gadina nitka ta kusai na zviluga zdalova. Eta ta kaltinka:



Ploska ta baltai na eta: "gadina nitka ta kusai ta tuda netu na nos lot. Ivo ta kusai tagda ivo ta spi." Maia tsustvui halaso at eta. Maia delai na kaltinka tipa tsislo adin:



Maia baltai tuda tavalis zdalova: "davai glidi! Tvaia tsustvui ploha netu tsustvui ploha at kaltinka eta?"

Ivo ta baltai: "maia tsustvui ploha at tlapka baska ili tsivo?"

Kaltinka maia ta netu na tlapka baska. Kaltinka maia ta eta: gadina nitka ta kusai na zviluga zdalova mnoga.

Tavalis zdalova ta znai tolka na baltai halaso. Maia delai na kaltinka tipa tsislo oba. Ivo ta vnutli tipa gadina nitka:



Tavalis zdalova ta baltai: "davai delai netu na kaltinka gadina ili vnutli gadina. Davai znai na znai tsislo na znai zimla na znai vlema na znai baltai!"

Tavalis zdalova ta tsustvui ploha tuda kaltinka maia tagda maia delai netu na kaltinka snova.

Maia delai na stuka dluga. Maia spomasiu na domik tuda vozduh. Eta ta tut: znai zimla ta halaso tuda maia. Maia magu znai na dluga tipa zimla Kina i zimla Alisona. Vlema tsolni tagda znai eta ta halaso.

Vlema malenka tagda maia znai mnoga na tavalis zdalova. Tolka, maia tsustvui ploha at eta!

Vlema stuka tagda maia tsustvui na eta: tavalis zdalova eta ta halaso. Maia dai na kaltinka tipa tsislo adin tuda ivo. Maia nada znai na eta: tavalis eta ta imei netu imei na tipa znai halaso?

Vlema fse tagda tavalis zdalova ta baltai: "eta ta tlapka baska." Maia baltai netu na gadina na zimla tsvitok na kluzok visako malenka tuda ivo at eta. Maia baltai na iglai tipa tavalis zdalova na daloga silna na tlapka tipa niska baska. Tavalis zdalova ta tsustvui halaso tuda maia at eta...

[Валентин Н]

А хахаха