Algebraic theory of Penrose''s non-periodic tilings