DnBinUA, при чем тут AI?! Опера мини отправляет заголовок HTTP_X_OPERAMINI_PHONE_UA, содержащий модель телефона; если он есть - это наверняка она. Подделать, естественно, можно, но это не страшно.
В заголовке HTTP_X_FORWARDED_FOR опера отправляет ip, с которого человек соединился с ее серверами. Опять-таки подделать его можно, но опять-таки это не смертельно. Можно добавить какие-то условия (например, дополнительно проверять ip только тогда, когда присутствует первый заголовок), можно исхитриться еще как-нибудь... Но точно не регулярками.
Во всяком случае, не здесь.