SMS: Aspectos teóricos da computacao