Здравствуйте, Sinclair, Вы писали:

S>Отличный заход. Но нет, неочевидно. И "дальше" — тоже неочевидно. Или вы предполагаете, что вы сначала уговорите компьютер создать МТ, а программу для этой МТ будете ему просто диктовать?
Ну программа МТ -- это просто таблица же. Её можно легко диктовать инкрементально. Типа "так же, но в таком-то случае, делай то"...
Понятно, что это не самый эффективный способ писать программы, но это позволяет показать, что всё вычислимое достижимо, во-первых.
И наводит на мысль, что в рамках этого подхода можно тоже пользоваться чем-то вроде библиотек или "зародышей" программ. Ну там, берём уже кем-то как-то развитые обобщённый редактор чего-то или текстовый редактор или и развиваем до того, что нам надо.

S>Тогда можно миновать этап создания МТ, и просто диктовать код C#.
На мой взгляд показать, что можно из пустой программы развить интерпретатор C# довольно нетривиально. Через МТ проще.

Здравствуйте, Sinclair, Вы писали:

S>Отличный заход. Но нет, неочевидно. И "дальше" — тоже неочевидно. Или вы предполагаете, что вы сначала уговорите компьютер создать МТ, а программу для этой МТ будете ему просто диктовать?
Ну программа МТ -- это просто таблица же. Её можно легко диктовать инкрементально. Типа "так же, но в таком-то случае, делай то"...
Понятно, что это не самый эффективный способ писать программы, но это позволяет показать, что всё вычислимое достижимо, во-первых.
И наводит на мысль, что в рамках этого подхода можно тоже пользоваться чем-то вроде библиотек или "зародышей" программ, во-вторых. Ну там, берём уже кем-то как-то развитые обобщённый редактор чего-то или текстовый редактор или и развиваем до того, что нам надо.

S>Тогда можно миновать этап создания МТ, и просто диктовать код C#.
На мой взгляд показать, что можно из пустой программы развить интерпретатор C# довольно нетривиально. Через МТ проще.