Notazione polacca

La notazione polacca è una particolare sintassi atta a denotare formule matematiche e algoritmi, caratterizzata dal fatto che gli operatori si trovano tutti a sinistra degli argomenti. Per questo motivo, viene anche detta notazione prefissa. Se l'interprete conosce in anticipo l'arietà di ogni operatore, la notazione polacca permette di descrivere univocamente qualsiasi formula o algoritmo senza utilizzare parentesi o altri elementi sintattici di separazione.

Deve il suo nome a Łukasiewicz, che la utilizzò per la prima volta intorno all'anno 1920 per semplificare il calcolo proposizionale; egli stesso ha dichiarato:

«I came upon the idea of a parenthesis-free notation in 1924. I used that notation for the first time in my article»

«L'idea di una notazione priva di parentesi mi venne nel 1924. Usai per la prima volta quella notazione nel mio articolo»

Sebbene non sia più di moda nell'ambito della logica, ha con il tempo acquisito una certa importanza in informatica. È parente stretta della più nota notazione polacca inversa (o notazione postfissa) che funziona in modo speculare (gli operatori si scrivono a destra, gli argomenti a sinistra).

  1. ^ a b Jan Łukasiewicz, "Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls", Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, 23:51-77 (1930). Tradotto da H. Weber come "Philosophical Remarks on Many-Valued Systems of Propositional Logics", in Storrs McCall, Polish Logic 1920-1939. Clarendon Press, Oxford, 1967.

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne