Цитата:
Сообщение от george
Согласен с вами.
Просто прочитал приведение по диагонали, поэтому задал этот вопрос  |
Короче.
Мне кажется (я хоть и к.т.н. по 05.13.11, но диссер мой совсем из другой области, формальными языками занимался давно, не знаю нынешних "модных" тенденций) что тебе сейчас не надо заморачиваться с програмизмом.
Сделай строго все математические выводы (1, 2, 1->2) в рамках теории формальных языков, сформулируй и докажи по ходу этих выводов несколько теорем (может даже более общих чем твой случай). И будет супер. Совет и оппоненты будет в восторге скорее всего. Если какие-нибудь красивые результаты математические получатся, то вообще может потом защитишься по 05.13.11 не как к.т.н., а как к.ф.-м.н. (что почетнее). Вот это и будет центральным моментом в твоем диссере.
А код потом дописать (при желании если научник будет его очень хотеть) не проблема.