ಟ್ಯೂರಿಂಗ್ ಯಂತ್ರವಲ್ಲದೆ ಇತರ ಬಳಕೆಯಲ್ಲಿರುವ ಸಮಾನವಾದ (ನೋಡಿ: ಚರ್ಚ್-ಟ್ಯೂರಿಂಗ್ ಥೀಸೀಸ್) ಗಣನಾ ಮಾದರಿಗಳೆಂದರೆ;



ಕಾರ್ಯಭಾರಿಗಳಾದ 




ಸಾಮಾನ್ಯ ಗಣನಾ ಮಾದರಿಗಳ ಜೊತೆಗೆ ಕೆಲವು ಸರಳವಾದ ಗಣಿಸುವಂತಹ ಮಾದರಿಗಳು ಸಹ ವಿಶೇಷ, ನಿಷೇಧಿತ ಅನ್ವಯಿಕಗಳಿಗೆ ಉಪಯುಕ್ತವಾಗಿದೆ. ಉದಾಹರಣೆಗೆ, ಕ್ರಮಬದ್ಧ ಉಚ್ಚಾರಗಳು 
ಅಫೀಸ್ ಅಭಿವೃದ್ಧಿಕಾರಕ ತಂತ್ರಾಂಶದಿಂದ ಹಿಡಿದು ಕ್ರಮವಿಧಿ ಭಾಷೆಗಳವರೆಗೆ ಹಲವಾರು ಸಂದರ್ಭಗಳಲ್ಲಿ ತಂತುಗಳ ರೀತಿಯನ್ನು ಸೂಚಿಸುತ್ತವೆ. ಫೈನೈಟ್ ಆಟೋಮ್ಯಾಟ್ ಎಂಬ ಮತ್ತೊಂದು ಗಣಿತರೀತ್ಯಾ ಔಪಚಾರಿಕತೆಯು ಕ್ರಮಬದ್ಧ ಉಚ್ಚಾರಗಳಿಗೆ ಸಮನಾಗಿದ್ದು, ವರ್ತುಲ ವಿನ್ಯಾಸವನ್ನು ಮತ್ತು ಕೆಲವು ವಿಧದ ಸಮಸ್ಯಾ-ಪರಿಹಾರಗಳನ್ನು ನೀಡಲು ಬಳಸಲಾಗುತ್ತದೆ. ಸಂದರ್ಭಾತೀತ ವ್ಯಾಕರಣಗಳು ಕ್ರಮವಿಧಿ ಭಾಷೆಯ ಭಾಷಾನಿಯಮಗಳನ್ನು ನಿಖರವಾಗಿ ಸೂಚಿಸುತ್ತವೆ. ನಿರ್ಧಾರಹೀನ ಪುಷ್ ಡೌನ್ ಆಟೋಮ್ಯಾಟಾ ಸಂದರ್ಭಾತೀತ ವ್ಯಾಕರಣಕ್ಕೆ ಸಮನಾದ ಮತ್ತೊಂದು ಔಪಚಾರಿಕತೆ. ಹಳೆಯ ಕಾಲದ ರಿಕರ್ಸಿವ್ ಕಾರ್ಯಭಾರಗಳು ನಿರೂಪಿತ ರಿಕರ್ಸಿವ್ ಕಾರ್ಯಭಾರಗಳ ಉಪಶ್ರೇಣಿಗಳಾಗಿವೆ.

ಗಣನಾವಿಧಿಯ ವಿವಿಧ ಮಾದರಿಗಳು ವಿವಿಧ ಕಾರ್ಯಗಳನ್ನು ನಡೆಸಲು ಸಮರ್ಥವಾಗಿವೆ. ಗಣನಾವಿಧಿಯ ಮಾದರಿಯನ್ನು ಅಳೆಯುವ ಒಂದು ವಿಧವೆಂದರೆ ಆ ಮಾದರಿಯು ಉತ್ಪಾದಿಸಬಲ್ಲ ಔಪಚಾರಿಕ ಭಾಷೆಗಳ ಶ್ರೇಣಿಯನ್ನು ಅಧ್ಯಯನ ಮಾಡುವುದು; ಭಾಷಾ ಚಾಂಸ್ಕಿ ಹೈರಾರ್ಕಿ(ಶ್ರೇಷ್ಠ ಪರಂಪರೆ)ಯು ದೊರೆಯುವ ವಿಧದಲ್ಲಿ ಈ ಅಧ್ಯಯನವು ಸಾಗಬೇಕು.

ಇವನ್ನೂ ನೋಡಿ
ಗಣನಾವಿಧಿಯ ಇತರ ಔಪಚಾರಿಕ ವ್ಯಾಖ್ಯೆಗಳು
ಗಣನಾರ್ಹತಾ(ಕಂಪ್ಯೂಟೆಬಲಿಟಿ) ಸಿದ್ಧಾಂತ
ಗಣನಾವಿಧಿಯ ಸೈದ್ಧಾಂತಿಕ ಬುನಾದಿ