t machines definition jfbm

error code: 500

• error code: 500
• error code: 500