Темы Курсовых Работ по Математической Лингвистике

один

выразить переменные
y = 6 / (2x +3)
x = 3/y –

1.5

Задача:
Владелец ранчо предложил ковбою купить 4 коровы и 3 лошади и заплатить 370 долларов, либо 3 коровы и 4 лошади за 330 долларов.
Сколько стоит одна корова и одна лошадь?

4*x + 3*y = 370
3*x + 4*y = 330

(y + 7)^2 >= 2

x + 1.5
7 * ------------------ >= 2
2
(y + 7)

1 + Sqrt(x + b) = 3

+-------+
1 + \| x + b = 3

(y + 7)^2 >= 2
1 + Sqrt(x + b) =

3

Одновременное перестроение:
Субъекты: Дорога(КолПолос = 2, КолВстречныхПолос = ),

ЛегкАвто(ПравыйПоворотник = Включен),
Мотоцикл(ЛевыйПоворотник = Включен);
Действия: Перестроиться(ЛегкАвто),
Перестроиться(Мотоцикл);
Связи: ЛегкАвто На Полоса[2],
Мотоцикл На Полоса[1],
ЛегкАвто Рядом Мотоцикл.

& B(y)  C(y)) & (D(y, x)  ¬ B(y)))
Предикаты
A(3,7,9),

A(8,7,9), A(4,9,9), B(3), B(8), B(4), C(7), C(5), C(3), D(7,3), D(5,8), D(9,8)

Найти: подстановки под переменные формулы
x | y | z
любое, кроме 3, 8, 4 | любое | любое
3 | 3 | любое
8 | 3 | любое
4 | 3 | любое
…

static void main(String[] a) {
System.out.println(new

Fac().ComputeFac(10));
}
}

class Fac {
public int ComputeFac(int num) {
int num_aux;
if (num < 1)
num_aux = 1;
else
num_aux = num * (this.ComputeFac(num-1));
return num_aux;
}
}

Достаточно большой язык, чтобы был интересным
объектно-ориентированные элементы (классы, экземпляры, методы, наследование)
базовые структуры управления (if, while)
целые переменные и выражения
Достаточно малый, чтобы было легко реализовывать

class id { public static void main ( String []

id )
{ Statement } }
ClassDecl → class id { VarDecl∗ MethodDecl∗ }
→ class id extends id { VarDecl∗ MethodDecl∗ }
VarDecl → Type id ;
MethodDecl → public Type id ( FormalList )
{ VarDecl∗ Statement∗ return Exp ; }
FormalList → Type id FormalRest∗
→
FormalRest → , Type id
Type → int []
→ boolean
→ int
→ id
Statement → { Statement∗ }
→ if ( Exp ) Statement else Statement
→ while ( Exp ) Statement
→ System.out.println ( Exp ) ;
→ id = Exp ;
→ id [ Exp ] = Exp ;
Exp → Exp op Exp
→ Exp [ Exp ]
→ Exp . length
→ Exp . id ( ExpList )
→ INTEGER LITERAL
→ true
→ false
→ id
→ this
→ new int [ Exp ]
→ new id ( )
→ ! Exp
→ ( Exp )
ExpList → Exp ExpRest∗
→
ExpRest → , Exp

все бесконтекстные/контекстные ошибки
предлагать конструкции по ходу набора текста программы
рефакторинг программы

(быстрое изменение имен типов, переменных, функций)
нарисовать блок-схему программы
перевести на другой язык программирования
…

время) =
(В2.Часов – В1.Часов) + (В2.Минут – В1.Минут) /

60.

ЛогФункция ВремяБольше(В1: время, В2: время) =
(В1.Часов > В2.Часов)  ((В1.Часов = В2.Часов) & (В1.Минут > В2.Минут))

помощью арифметических выражений

Найти: значение каждой ячейки

обработкой формального языка

компиляторов: рефакторинг, подсказки и т.п.
Глава с описанием языка
Лексика – регулярной

грамматикой
Синтаксис – КС-грамматикой
Контекстные условия – атрибутной грамматикой или словесно
Глава с описанием лингвистического процессора
Структурная схема
Регулярная грамматика => НКА => ДКА => объединенный алгоритм (матем.)
substr(…), pos(…) - недопустимо
Таблицы слов, алгоритм поиска в них (хеш-поиск)
КС-грамматика => LL: множества First/Follow, устранение левой рекурсии; LR: таблицы действие/переход => алгоритм (матем.)
Структуры данных: тэг/значение
Построение синтаксического дерева предложения
Описание генератора выходного текста / интерпретатора
Экспериментальная глава
Работа на правильных предложениях
Работа на неправильных предложениях
Заключение
Приложения (исходный текст программы и др.)