@online{huang2024teorema,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Teorema di Rice},
  date         = {2024-05-10},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/teorema-di-rice/},
  langid       = {english},
  abstract     = {Introduction to the Rice Theorem \# Ci sono molti teoremi che non possono essere decisi, vedere Halting Theorem and Reducibility . Qui andiamo a chiederci quale sia l'insieme dei problemi decidibili. Proprietà dei linguaggi TM \# Data una macchina M definiamo il suo linguaggio come}
}