computacion

Así es, si has borrado el usuario pulsando "OK" y no "Eliminar ahora", su antigua carpeta se habrá guardado como imagen de disco en Usuarios->Usuarios eliminados. Puedes montarla y acceder a su contenido, copiarlo, etc. Si quieres recuperarlo completamente, puedes intentar lo siguiente (como administrador):

1. Crea un usuario (supongamos que su nombre corto es "pepe" en este ejemplo) pararecuperar como él el usuario borrado. Si sabías la contraseña del usuario borrado, pon la misma.
2. Ve a la carpeta Usuarios y borra la carpeta "pepe" que se habrá creado para ese usuario (el Finder te pedirá tu contraseña).
3. Entra en "Usuarios eliminados" y monta la imagen de disco del usuario eliminado.
4. Copia ese disco completo a la carpeta Usuarios, y renombra la carpeta resultante como"pepe".
5. Desmonta ese disco.
6. Abre el Terminal y teclea:
cd /Users
sudo chown -R pepe:pepe pepe
sudo chmod 755 pepe
7. Intenta abrir una sesión de usuario como "pepe".

Si la contraseña del nuevo usuario "pepe" no coincide con la del usuario borrado, su keychain no se desbloqueará automáticamente al abrir la sesión, por lo que tendrás que desbloquearla manualmente utilizando el Acceso aLlaves. Sin embargo, no debería haber problemas porque el nuevo usuario tenga un nombre diferente del eliminado.

OJO, en todo esto se supone que tienes la carpeta del usuario eliminado guardada como imagen de disco en "Usuarios eliminados". 

Teoría de autómatas
Artículo principal: Teoría de autómatas.
Esta teoría provee modelos matemáticos que formalizan el concepto de computadora oalgoritmo de manera suficientemente simplificada y general para que se puedan analizar sus capacidades y limitaciones. Algunos de estos modelos juegan un papel central en varias aplicaciones de las ciencias de la computación, incluyendo procesamiento de texto, compiladores, diseño de hardware e inteligencia artificial.
Los tres principales modelos son los autómatas finitos, autómatas con pila ymáquinas de Turing, cada uno con sus variantes deterministas y no deterministas. Los autómatas finitos son buenos modelos de computadoras que tienen una cantidad limitada de memoria, los autómatas con pila modelan los que tienen gran cantidad de memoria pero que solo pueden manipularla a manera de pila (el último dato almacenado es el siguiente leído), y las máquinas de Turing modelan las computadoras quetienen una gran cantidad de memoria almacenada en una cinta. Estos autómatas están estrechamente relacionados con la teoría de lenguajes formales; cada autómata es equivalente a una gramática formal, lo que permite reinterpretar la jerarquía de Chomsky en términos de autómatas.
Existen muchos otros tipos de autómatas como las máquinas de acceso aleatorio, autómatas celulares, máquinas ábaco ylas máquinas de estado abstracto; sin embargo en todos los casos se ha mostrado que estos modelos no son más generales que la máquina de Turing, pues la máquina de Turing tiene la capacidad de simular cada uno de estos autómatas. Esto da lugar a que se piense en la máquina de Turing como el modelo universal de computadora.
Teoría de la computabilidad
Artículo principal: Teoría de lacomputabilidad.
Véase también: Indecidibilidad.
Esta teoría explora los límites de la posibilidad de solucionar problemas mediante algoritmos. Gran parte de las ciencias computacionales están dedicadas a resolver problemas de forma algorítmica, de manera que el descubrimiento de problemas imposibles es una gran sorpresa. La teoría de la computabilidad es útil para no tratar de resolver algoritmicamente estosproblemas, ahorrando así tiempo y esfuerzo.
Los problemas se clasifican en esta teoría de acuerdo a su grado de imposibilidad:
Los computables son aquellos para los cuales sí existe un algoritmo que siempre los resuelve cuando hay una solución y además es capaz de distinguir los casos que no la tienen. También se les conoce como decidibles, resolubles o recursivos.
Los semicomputables son...