2014.12.03 04:17
bezbłędne zapisywanie wyrażeń arytmetycznych
Zastanawiałem się od dwu chyba lat, czy da się wymyślić taki język do zapisywania wyrażeń arytmetycznych, który byłby jednoznaczny, w którym każde wyrażenie miałoby tylko jeden zapis i w którym każdy zapis coś by znaczył - nie byłoby zdań błędnych składniowo. I wczoraj rozmawiając o tym z K. zrozumiałem, że to trywialne. Ponieważ wyrażeń arytmetycznych jest tylko przeliczalnie wiele, wystarczy je posortować i ponumerować.
komentarze:
powrót na stronę główną
RSS