Jump to content

Джованни Пигиццини

Джованни Пигиццини
Альма-матер Миланский университет
Известный сложность состояния
Научная карьера
Поля Теоретическая информатика
формальная теория языка
Учреждения Миланский университет

Джованни Пигиццини — итальянский учёный-теоретик, известный своими работами в области теории формального языка и, в частности, в области сложности состояний двусторонних конечных автоматов . Он получил докторскую степень в 1993 году в Миланском университете , где является профессором с 2001 года. С 2006 года Пигиццини является председателем руководящего комитета ежегодной «Описательная сложность формальных систем» научной конференции .

Вклад в исследования

[ редактировать ]

Пигиццини получил оптимальные компромиссы по сложности состояний между различными типами конечных автоматов в однобуквенном алфавите: [ 1 ] [ 2 ] [ 3 ] В частности, в его совместной работе с Геффертом и Мерегетти [ 2 ] он представил первое моделирование двусторонних недетерминированных конечных автоматов с помощью двусторонних детерминированных конечных автоматов с использованием теоремы Савича , что способствовало открытию вопроса 2DFA против 2NFA . Совместно с Йирасковой он определил сложность состояний самопроверяющихся конечных автоматов . [ 4 ]

Он также внес вклад в теорию сложности вычислений , представив результаты о сублогарифмических классах пространственной сложности. [ 5 ] и о сложности поиска лексикографически максимальной строки. [ 6 ]

  1. ^ Мерегетти, Карло; Пигиццини, Джованни (2001). «Оптимальное моделирование унарных автоматов». SIAM Journal по вычислительной технике . 30 (6): 1976–1992. дои : 10.1137/S009753979935431X . hdl : 2434/35121 . ISSN   0097-5397 .
  2. ^ Jump up to: а б Гефферт, Вильям; Мерегетти, Карло; Пигиццини, Джованни (2003). «Преобразование двусторонних недетерминированных унарных автоматов в более простые автоматы». Теоретическая информатика . 295 (1–3): 189–203. дои : 10.1016/S0304-3975(02)00403-6 . ISSN   0304-3975 .
  3. ^ Гефферт, Уильям; Гийон, Бруно; Пигидзини, Джованни (2014). «Двусторонние автоматы, делающие выбор только на конечных маркерах». Информация и вычисления . 239 : 71–86. arXiv : 1110.1263 . дои : 10.1016/j.ic.2014.08.009 . ISSN   0890-5401 .
  4. ^ Йираскова, Галина; Пигиццини, Джованни (2011). «Оптимальное моделирование самопроверяющихся автоматов детерминированными автоматами». Информация и вычисления . 209 (3): 528–535. дои : 10.1016/j.ic.2010.11.017 . ISSN   0890-5401 .
  5. ^ Гефферт, Вильям; Мерегетти, Карло; Пигиццини, Джованни (1998). «Сублогарифмические границы пространства и развороты». SIAM Journal по вычислительной технике . 28 (1): 325–340. дои : 10.1137/S0097539796301306 . hdl : 2434/178756 . ISSN   0097-5397 . S2CID   37853723 .
  6. ^ Аллендер, Эрик; Бруски, Данило; Пигиццини, Джованни (1993). «Сложность вычисления максимальных словесных функций». Вычислительная сложность . 3 (4): 368–391. дои : 10.1007/BF01275489 . ISSN   1016-3328 . S2CID   886700 .
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 568e216750b8d94072e522cac3b43caa__1692388680
URL1:https://arc.ask3.ru/arc/aa/56/aa/568e216750b8d94072e522cac3b43caa.html
Заголовок, (Title) документа по адресу, URL1:
Giovanni Pighizzini - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)