Сообщений в теме: 96

[Patriot_]

Я хочу сделать электронный учебник по Паскаль. на дельфях конечно. Можно ли такое замутить: прога дает студенту задание, он решает и дает ответ в виде кода. Прога проверяет и определяет правильно ли ответ.

[Zulkar]

Я хочу сделать электронный учебник по Паскаль. на дельфях конечно. Можно ли такое замутить: прога дает студенту задание, он решает и дает ответ в виде кода. Прога проверяет и определяет правильно ли ответ.

А проверяться код будет? Или что?

Сообщение отредактировал Zulkar: 17.06.2009, 17:54:20

[Big Joe]

Я хочу сделать электронный учебник по Паскаль. на дельфях конечно. Можно ли такое замутить: прога дает студенту задание, он решает и дает ответ в виде кода. Прога проверяет и определяет правильно ли ответ.

легко

[Zulkar]

легко

Вы сможете это сделать? Просто я лично не представляю, как писать смесь компилятора с валидатором кода, который будет проверять не только лексическую корректность, но и правильность работы программы. Я такого никогда не видел, хотя такая вещь оочень сильно бы пригодилась. Это чуть ли не революция была бы в мире программирования. Проверка правильности работы кода на этапе компиляции.... Чудо.

Сообщение отредактировал Zulkar: 17.06.2009, 17:58:11

[Patriot_]

2 Zulkar
Да, я именно о проверке кода и говорю.
2 Big Joe
Не подскажите, как?

[Zulkar]

2 Zulkar
Да, я именно о проверке кода и говорю.

Код который чуть сложнее чем hello world - можно написать разными способами. Все невозможно учесть.

[Big Joe]

> ответ в виде кода

Не заметил ...

Тогда сложно т.к методов решения может быть куча, а результат один.

Если только задачи не будут типа: Используя команду ShowMessage, разработайте программу вывода сообщения "Hello world" на экран)))

[Patriot_]

Ладно. А как использовать компилятор дельфи? ну, просто проверить синтаксис кода...

[Big Joe]

Поищи в гугле на тему "Компилятор dcc32"

[Zulkar]

Ладно. А как использовать компилятор дельфи? ну, просто проверить синтаксис кода...

читать в справке про dcc32. Там все просто. Нужно сформировать правильную командную строку (правильно указать пути ко всем подключаемым модулям), вызвать компилятор, перенаправить его стандартные потоки входа/выход в свои пайпы, прочитать код возврата, и будет ясно - верен код, или нет.

[xxel]

Я хочу сделать электронный учебник по Паскаль. на дельфях конечно. Можно ли такое замутить: прога дает студенту задание, он решает и дает ответ в виде кода. Прога проверяет и определяет правильно ли ответ.

Можно. Для этого код ответа надо распарсить в Abstract syntax tree (AST), оптимизировать/свернуть AST до максимально упрощеного вида и сравнить с AST'ами (2-3 должно хватить) правильного ответа.

Сообщение отредактировал xxel: 18.06.2009, 09:18:43

["0x0000"]

Можно. Для этого код ответа надо распарсить в Abstract syntax tree (AST), оптимизировать/свернуть AST до максимально упрощеного вида и сравнить с AST'ами(2-3 должно хватить) правильного ответа.

можно хотяб прототип, как это должно выглядеть .

Zulkar - вот пусть компилятор делфи и проверяет конеч. результат. Варианты написания проверять незачем. Сорри если чё не так пишу,спросоня мог не понять

Сообщение отредактировал "0x0000": 18.06.2009, 10:13:21

[xxel]

Можно. Для этого код ответа надо распарсить в Abstract syntax tree (AST), оптимизировать/свернуть AST до максимально упрощеного вида и сравнить с AST'ами(2-3 должно хватить) правильного ответа.

можно хотяб прототип, как это должно выглядеть .

Во-первых я не говорил что это будет выглядеть и/или реализовываться просто.
В грубом прикиде при использовании дельфей уйдет не один месяц, если вообще закончится

Во-вторых прототип чего из перечисленого и для чего ?
В инете этих прототипов как грязи, осталось только в кучу собрать.
Посторение AST - для начинающих YACC/BISON и пр.
Оптимизация AST - зависит от конретного AST + Graph Rewriting + общие техники оптимизации
Сравнение двух AST - вообще задача лабораторной работы студента
Кому надо найдет без труда.
А вот на допиливание этого прототипа уйдет уже непрогнозируемое кол-во времени

[Zulkar]

Zulkar - вот пусть компилятор делфи и проверяет конеч. результат. Варианты написания проверять незачем. Сорри если чё не так пишу,спросоня мог не понять

Требовалось изначально именно вариант написания. Хотя никогда в универе преподаватели код не проверяли. Зачем?

["0x0000"]

xxel - дальше молчу,т.к. одни незнакомые понятия,хоть и сам и кодер.
Zulkar - если бы мне вдруг прям действительно нужно было бы проверять варианты написания, то замутил бы шаблон варианта ответа.Т.е. какая то основа всё равно вроде будет,прог-ма проверяет большие и небольшие отклонения от шаблона с автом. компиляцией и проверкой output программы
Ну типа того,вообщем ;((

Сообщение отредактировал "0x0000": 18.06.2009, 11:18:11

[Zulkar]

Zulkar - если бы мне вдруг прям действительно нужно было бы проверять варианты написания, то замутил бы шаблон варианта ответа.Т.е. какая то основа всё равно вроде будет,прог-ма проверяет большие и небольшие отклонения от шаблона с автом. компиляцией и проверкой output программы
Ну типа того,вообщем ;((

Ок, первое что взбрело в голову. ПРостейшая программа. Принимает входные данные (числа с клавы), пока не введен 0. Выводит максимальное, минимальное, и среднее число. Сколько вариантов такой программы? Вы сможете гарантировать что они все будут признаны правильными и что она отсеет неправильные?

[Big Joe]

Можно далеко отклониться от шаблона при этом написать правильный и рабочий код. Глупо это.

["0x0000"]

Можно далеко отклониться от шаблона при этом написать правильный и рабочий код. Глупо это.

несогласен,вариантов решения конечное число. Да сама задача глупая, я ж просто думаю о теорет. решении

Принимает входные данные (числа с клавы), пока не введен 0. Выводит максимальное, минимальное, и среднее число. Сколько вариантов такой программы? Вы сможете гарантировать что они все будут признаны правильными и что она отсеет неправильные?

Уточним. Программа должна даже не компилируясь решать правильно или нет? С погрешностями думаю можно сделать, величина погрешности будет зависеть от каких нибудь параметров,например степени отхождения от шаблона-стандарта.
Я не думаю что вариантов решения прям такое огромное число.
Спорить желания нету,детально разбираться тоже.Я не говорю что вы не правы,просто думаю что теорет-ки решаемо

Сообщение отредактировал "0x0000": 18.06.2009, 11:52:02

[Zulkar]

несогласен,вариантов решения конечное число. Да сама задача глупая, я ж просто думаю о теорет. решении

Конечное. А толку с того? Число возможных программ на С++ размером до 1 мб кода тоже конечное.

Уточним. Программа должна даже не компилируясь решать правильно или нет?

Да, именно. Единственное что приходит в голову - это компилятор+линкер+тулза для юнит тестов. Если прямо на коде разбор - вот честно, плагин к студии я бы купил с удовольствием. Логические ошибки на этапе компиляции отловить - это стоит того.

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

Ну, в теории да. А на практике?

Сообщение отредактировал Zulkar: 18.06.2009, 12:02:57

[Big Joe]

> несогласен,вариантов решения конечное число.

Допустим нужно написать a + b

z := a + b;
z := (a) + (b);
z := (a + b) - b + b;
z := (a + b) - b + b - b + b итд, тупо но конечный результат будет правильным.

Сообщение отредактировал Big Joe: 18.06.2009, 12:22:16