SMS dit: Aspectos teóricos da computacao